CI

isabelle-utp · Mar 30, 2024 · 6ddc2a0 · 6ddc2a0
1 parent d152729
commit 6ddc2a0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 14 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,8 +5,8 @@ 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'
           report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'
           report_secret: ${{ secrets.DashboardReportKey }}