portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/.github/workflows
History
Gerwin Klein 1a52833c6f github: disambiguate proof artifact upload 
Proof artifact upload had name clashes for different artifacts from the
same job that previously would overwrite each other and with v4 actions
now error. This commit disambiguates the names.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2024-02-09 11:02:49 +11:00
..
compilation-checks.yml github: bump GitHub actions to node20 2024-01-29 10:11:25 +11:00
cparser.yml github: run C parser on push/PR 2021-06-30 14:04:00 +10:00
manual.yml github: bump GitHub actions to node20 2024-01-29 10:11:25 +11:00
pr.yml github: add AARCH64 to preprocess test 2022-02-03 17:19:58 +11:00
preprocess-deploy.yml github: add AARCH64 to preprocess test 2022-02-03 17:19:58 +11:00
proof.yml github: disambiguate proof artifact upload 2024-02-09 11:02:49 +11:00
push.yml Refactor github workflows; add preprocess test 2020-06-18 12:47:54 +10:00
sel4bench-pr.yml CI: cancel older concurrent PR runs 2024-01-31 10:25:00 +11:00
sel4test-deploy.yml CI: the seL4/machine_queue repo is public now 2024-01-30 12:26:50 +00:00
sel4test-hw.yml CI: cancel older concurrent PR runs 2024-01-31 10:25:00 +11:00
sel4test-sim.yml CI: cancel older concurrent PR runs 2024-01-31 10:25:00 +11:00
trigger.yml github: run actions with secrets only in seL4 org 2021-10-18 14:47:07 +11:00
xml_lint.yml github: bump GitHub actions to node20 2024-01-29 10:11:25 +11:00