Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

apply CI updates that were done in other repos also #128

Merged
merged 2 commits into from
Jan 30, 2024
Merged

apply CI updates that were done in other repos also #128

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
7177e28
CI: the seL4/machine_queue repo is public now
axel-h Jan 30, 2024
135ba7c
CI: cancel older concurrent PR runs
axel-h Jan 30, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 14 additions & 2 deletions .github/workflows/test.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

# Actions to run on pull requests

name: Camkes VM Examples
name: Camkes-VM-Examples-HW

on:
pull_request_target:
Expand All @@ -14,6 +14,19 @@ on:
permissions:
contents: read

# To reduce the load (especiually on the machine queue) we cancel any older runs
# of this workflow for the current PR. Such runs exist, if there were new pushes
# to the PR's branch without waiting for the workflow to finish. As a side
# effect, pushing new commits now becomes a convenient way to cancel all the
# older runs, e.g. if they are stuck and would only be stopped by the timeout
# eventually.
# Note that we could do the concurrency handling at a finer level, and only wrap
# the actual run on the hardware. But there seems not much gain in letting the
# older builds run, as these are usually obsolete with new pushes also.
concurrency:
group: ${{ github.workflow }}-pr-${{ github.event.number }}
cancel-in-progress: true

jobs:
code:
name: Freeze Code
Expand Down Expand Up @@ -69,7 +82,6 @@ jobs:
with:
repository: seL4/machine_queue
path: machine_queue
token: ${{ secrets.PRIV_REPO_TOKEN }}
- name: Download image
uses: actions/download-artifact@v4
with:
Expand Down