CI

isabelle-utp · Mar 30, 2024 · bcd7296 · bcd7296
1 parent 00f70ee
commit bcd7296
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 16 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 Theory
     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/Optics.git@main'
           report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'
           report_secret: ${{ secrets.DashboardReportKey }}