From 72108b98c01e866eaac7ad0490d49ef9b9fa3ada Mon Sep 17 00:00:00 2001 From: Lex Bailey Date: Sat, 30 Mar 2024 00:58:46 +0000 Subject: [PATCH] CI --- .github/workflows/build_2022.yml | 16 ---------------- .../{build_2021-1.yml => build_2023.yml} | 4 ++-- 2 files changed, 2 insertions(+), 18 deletions(-) delete mode 100644 .github/workflows/build_2022.yml rename .github/workflows/{build_2021-1.yml => build_2023.yml} (74%) diff --git a/.github/workflows/build_2022.yml b/.github/workflows/build_2022.yml deleted file mode 100644 index dfa1ea6..0000000 --- a/.github/workflows/build_2022.yml +++ /dev/null @@ -1,16 +0,0 @@ -on: [push] -jobs: - build-shallow-expr: - runs-on: ubuntu-latest - name: Build Shallow-Expressions - steps: - - uses: actions/checkout@v3 - - uses: lexbailey/isabelle-theory-build-github-action@v7 - with: - isabelle-version: '2022' - depends: 'https://github.com/isabelle-utp/Z_Toolkit.git@main' - session-name: 'Shallow-Expressions Shallow-Expressions-Z' - theory-root: '. Z' - report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log' - report_secret: ${{ secrets.DashboardReportKey }} - diff --git a/.github/workflows/build_2021-1.yml b/.github/workflows/build_2023.yml similarity index 74% rename from .github/workflows/build_2021-1.yml rename to .github/workflows/build_2023.yml index 8ba7b3a..b5857c2 100644 --- a/.github/workflows/build_2021-1.yml +++ b/.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'