CI

isabelle-utp · Mar 30, 2024 · 72108b9 · 72108b9
1 parent b30d1fc
commit 72108b9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 18 deletions.
diff --git a/.github/workflows/build_2022.yml b/.github/workflows/build_2022.yml
diff --git a/.github/workflows/build_2021-1.yml → .github/workflows/build_2023.yml b/.github/workflows/build_2021-1.yml → .github/workflows/build_2023.yml
@@ -5,9 +5,9 @@ jobs:
     name: Build Shallow-Expressions
     steps:
       - uses: actions/checkout@v3
-      - uses: lexbailey/isabelle-theory-build-github-action@v7
+      - uses: lexbailey/isabelle-theory-build-github-action@v8
         with:
-          isabelle-version: '2021-1'
+          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'
           depends: 'https://github.com/isabelle-utp/Z_Toolkit.git@main'
           session-name: 'Shallow-Expressions Shallow-Expressions-Z'
           theory-root: '. Z'