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