Work on making code generation work for interpretation #68
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 }} |