portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/.github/workflows
History
Gerwin Klein d513db6cb8 github: use default Isabelle version for proofs 
Use the Isabelle version set in the verification manifest instead of
overriding to a specific version here. This will automatically update
as the verification repository updates to new Isabelle versions.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2024-06-14 09:06:08 +10:00
..
compilation-checks.yml CI: cancel older concurrent PR runs 2024-03-26 20:56:54 +01: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: use default Isabelle version for proofs 2024-06-14 09:06:08 +10:00
push.yml Refactor github workflows; add preprocess test 2020-06-18 12:47:54 +10:00
sel4bench-pr.yml CI: remove obsolete concurrency setup in job 2024-02-09 12:59:04 +00: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