From 56b42cf87edc8554b09032cef270467ba07520eb Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Wed, 18 Feb 2026 13:40:37 +1100 Subject: [PATCH] github: update Isabelle branch for MCS proofs MCS proofs are now also running on Isabelle2025. 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 3b7230366..ccab6718f 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: ${{ matrix.features == 'MCS' && 'ts-2024' || 'ts-2025' }} + isa_branch: 'ts-2025' env: AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }} AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }}