Skip to content

Actions: alwin-joshy/seL4

Actions

seL4Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-deploy.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: remove obsolete concurrency setup in job seL4Test #7: Commit a8eebab pushed by alwin-joshy
February 14, 2024 00:55 43m 30s master
master
February 14, 2024 00:55 43m 30s
aarch64/vspace: avoid unnecessary casts seL4Test #6: Commit 0398d34 pushed by alwin-joshy
January 18, 2024 03:01 48m 54s master
master
January 18, 2024 03:01 48m 54s
python: remove unused template parameter seL4Test #5: Commit ed613d7 pushed by alwin-joshy
January 9, 2024 05:17 46m 42s master
master
January 9, 2024 05:17 46m 42s