build_2021-1.yml

on: [push]
jobs:
  build:
    runs-on: ubuntu-latest
    name: Build Theory
    steps:
      - uses: actions/checkout@v3
      - uses: lexbailey/isabelle-theory-build-github-action@v7
        with:
          isabelle-version: '2021-1'
          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/tags/itrees_utp_2021-1.zip'
          depends: 'https://github.com/isabelle-utp/Shallow-Expressions.git@main https://github.com/isabelle-utp/explore-subgoal.git@main'
          session-name: 'Interaction_Trees ITree_Simulation ITree_UTP ITree_VCG ITree_RoboChart'
          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'
          report_secret: ${{ secrets.DashboardReportKey }}