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