Gerwin Klein dec87e641a github: main l4v now on Isabelle2025 ... set ts-2025 for master branch l4v and leave on ts-2024 for MCS until MCS is updated to Isabelle2025 as well. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2025-06-13 11:29:05 +01: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: main l4v now on Isabelle2025	2025-06-13 11:29:05 +01: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