[DROP] testing only: force ts-2023 isa branch

Signed-off-by: Gerwin Klein <[email protected]>

.github/workflows/proof.yml

@@ -11,6 +11,7 @@ on:
       - '**.txt'
     branches:
       - rt
+      - isabelle-2023
   # this action needs access to secrets.
   # The actual test runs in a no-privilege VM, so it's Ok to run on untrusted PRs.
   pull_request_target:
@@ -19,6 +20,8 @@ on:
       - '**.txt'
     branches-ignore:
       - aarch64
+      - isabelle-2023
+      - master
 
 jobs:
   proofs:
@@ -35,7 +38,8 @@ jobs:
       uses: seL4/ci-actions/aws-proofs@master
       with:
         L4V_ARCH: ${{ matrix.arch }}
-        session: '-x AutoCorresSEL4' # exclude large AutoCorresSEL4 session for PRs
+        isa_branch: ts-2023
+        # session: '-x AutoCorresSEL4' # exclude large AutoCorresSEL4 session for PRs
       env:
         AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }}
         AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }}