From d06d281ff245a8d4bd3a322926e4186cf2d342a5 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Tue, 17 Oct 2023 14:28:22 +1100
Subject: [PATCH] github: bump Isabelle version on proof checks

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 .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 68285d120..a1adc7825 100644
--- a/.github/workflows/proof.yml
+++ b/.github/workflows/proof.yml
@@ -37,7 +37,7 @@ jobs:
       uses: seL4/ci-actions/aws-proofs@master
       with:
         L4V_ARCH: ${{ matrix.arch }}
-        isa_branch: ts-2022
+        isa_branch: ts-2023
         session: ${{ matrix.session }}
         manifest: default.xml
       env: