Matthew Brecknell b9c5f53bce ci proof: Upload build artifacts ...

For proof workflow runs on seL4 PRs, upload kernel build artifacts
generated by the aws-proofs action. These can be used to run binary
verification, although we currently still require binary verification to
be manually triggered.

Signed-off-by: Matthew Brecknell <matt@kry10.com>

2023-03-03 17:47:32 +11:00

..

compilation-checks.yml

github: bump action deps to node16 actions

2022-11-21 15:59:06 +11:00

cparser.yml

github: run C parser on push/PR

2021-06-30 14:04:00 +10:00

manual.yml

github: bump action deps to node16 actions

2022-11-21 15:59:06 +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

ci proof: Upload build artifacts

2023-03-03 17:47:32 +11:00

push.yml

Refactor github workflows; add preprocess test

2020-06-18 12:47:54 +10:00

sel4bench-pr.yml

github: bump action deps to node16 actions

2022-11-21 15:59:06 +11:00

sel4test-deploy.yml

github: bump action deps to node16 actions

2022-11-21 15:59:06 +11:00

sel4test-hw.yml

github: bump action deps to node16 actions

2022-11-21 15:59:06 +11:00

sel4test-sim.yml

.github: remove ARMv6 tests

2021-09-30 18:07:19 +10: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 action deps to node16 actions

2022-11-21 15:59:06 +11:00