From dec87e641abd0c02b43e63258fde6234d98e65ad Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 13 Jun 2025 15:27:06 +1000 Subject: [PATCH] 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 --- .github/workflows/proof.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml index 2f06c8ad6..3b7230366 100644 --- a/.github/workflows/proof.yml +++ b/.github/workflows/proof.yml @@ -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 }}