secc
/
seL4
mirror of https://github.com/seL4/seL4.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

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>
This commit is contained in:
Gerwin Klein 2025-06-13 15:27:06 +10:00 committed by Indan Zupancic
parent 2417e0fc69
commit dec87e641a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/proof.yml vendored
View File

@ -45,7 +45,7 @@ jobs:
L4V_FEATURES: ${{ matrix.features }}
session: ${{ matrix.session }}
manifest: ${{ matrix.features == 'MCS' && 'mcs.xml' || 'default.xml' }}
isa_branch: ts-2024
isa_branch: ${{ matrix.features == 'MCS' && 'ts-2024' || 'ts-2025' }}
env:
AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }}
AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }}