Gerwin Klein 56b42cf87e github: update Isabelle branch for MCS proofs ... MCS proofs are now also running on Isabelle2025. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2026-02-18 13:52:09 +11:00
..
compilation-checks.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +11:00
cparser.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +11:00
hw-tests.yml	github: rename hardware test workflow file	2025-02-18 09:22:15 +11:00
manual.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +11:00
pr.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +11:00
preprocess-deploy.yml	github: deploy mcs verification manifest	2025-04-02 08:58:31 +11:00
proof.yml	github: update Isabelle branch for MCS proofs	2026-02-18 13:52:09 +11:00
push.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +11:00
sel4test-deploy.yml	github: update name of deployment workflow	2025-02-18 09:22:15 +11:00
sel4test-sim.yml	github: add manual trigger where possible	2025-02-18 09:22:15 +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: add manual trigger where possible	2025-02-18 09:22:15 +11:00