[{"id": 435, "reponame": "isabelle-utp/Z_Toolkit", "datetime": "2024-12-06T13:07:16.626413", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          depends: 'https://github.com/isabelle-utp/Optics.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 434, "reponame": "isabelle-utp/interaction-trees", "datetime": "2024-10-08T14:08:29.849299", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp_2022.zip'\n          depends: 'https://github.com/isabelle-utp/Shallow-Expressions.git@main https://github.com/isabelle-utp/explore-subgoal.git@main'\n          session-name: 'Interaction_Trees ITree_Simulation ITree_UTP ITree_VCG ITree_RoboChart'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 433, "reponame": "isabelle-utp/interaction-trees", "datetime": "2024-10-08T14:08:13.068874", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/tags/itrees_utp_2021-1.zip'\n          depends: 'https://github.com/isabelle-utp/Shallow-Expressions.git@main https://github.com/isabelle-utp/explore-subgoal.git@main'\n          session-name: 'Interaction_Trees ITree_Simulation ITree_UTP ITree_VCG ITree_RoboChart'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 425, "reponame": "isabelle-utp/Optics", "datetime": "2024-09-10T10:37:48.757625", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 410, "reponame": "isabelle-utp/Z_Machines", "datetime": "2024-09-05T15:42:26.021271", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp_2022.zip'\n          depends: 'https://github.com/isabelle-utp/interaction-trees.git@master'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 409, "reponame": "isabelle-utp/Z_Machines", "datetime": "2024-09-05T15:41:47.975565", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp.zip'\n          depends: 'https://github.com/isabelle-utp/interaction-trees.git@master'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 295, "reponame": "lexbailey/interaction-trees", "datetime": "2024-04-29T14:55:05.679764", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v9\n        with:\n          isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/tags/CyPhyAssure2023.tar.gz'\n          depends: 'https://github.com/isabelle-utp/Shallow-Expressions.git@main https://github.com/isabelle-utp/explore-subgoal.git@main https://github.com/isabelle-utp/Abstract_Prog_Syntax.git@main'\n          session-name: 'Interaction_Trees ITree_Simulation ITree_UTP ITree_VCG ITree_RoboChart'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n     \n\n", "builder_version": "v9", "isabelle_version": "unknown_version"}, {"id": 280, "reponame": "lexbailey/Z_Machines", "datetime": "2024-03-30T02:58:30.717127", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          depends: 'https://github.com/lexbailey/interaction-trees.git@master'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 278, "reponame": "lexbailey/UTP-Designs", "datetime": "2024-03-30T02:51:38.058771", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          depends: 'https://github.com/lexbailey/UTP.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 277, "reponame": "lexbailey/UTP", "datetime": "2024-03-30T02:50:55.047477", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          depends: 'https://github.com/lexbailey/Shallow-Expressions.git@main https://github.com/lexbailey/Abstract_Prog_Syntax.git@main'\n          session-name: 'UTP2'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 276, "reponame": "lexbailey/UTP-Reactive", "datetime": "2024-03-30T02:45:21.620111", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp_2022.zip'\n          depends: \"https://github.com/lexbailey/UTP-Designs.git@main\"\n          session-name: 'UTP-Reactive'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 269, "reponame": "lexbailey/Abstract_Prog_Syntax", "datetime": "2024-03-30T02:10:02.256134", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          depends: 'https://github.com/isabelle-utp/Shallow-Expressions.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 266, "reponame": "isabelle-utp/Shallow-Expressions", "datetime": "2024-03-30T02:07:32.999632", "result": 0, "config": "on: [push]\njobs:\n  build-shallow-expr:\n    runs-on: ubuntu-latest\n    name: Build Shallow-Expressions\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          depends: 'https://github.com/isabelle-utp/Z_Toolkit.git@main'\n          session-name: 'Shallow-Expressions Shallow-Expressions-Z'\n          theory-root: '. Z'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 265, "reponame": "lexbailey/Shallow-Expressions", "datetime": "2024-03-30T01:51:10.107827", "result": 0, "config": "on: [push]\njobs:\n  build-shallow-expr:\n    runs-on: ubuntu-latest\n    name: Build Shallow-Expressions\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          depends: 'https://github.com/isabelle-utp/Z_Toolkit.git@main'\n          session-name: 'Shallow-Expressions Shallow-Expressions-Z'\n          theory-root: '. Z'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 263, "reponame": "lexbailey/Optics", "datetime": "2024-03-30T01:31:16.274231", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 262, "reponame": "lexbailey/Z_Toolkit", "datetime": "2024-03-30T01:31:05.331393", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          depends: 'https://github.com/isabelle-utp/Optics.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 261, "reponame": "lexbailey/Total_Recall", "datetime": "2024-03-30T01:25:46.439435", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 260, "reponame": "isabelle-utp/Total_Recall", "datetime": "2024-03-30T01:25:20.453380", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 258, "reponame": "isabelle-utp/explore-subgoal", "datetime": "2024-03-30T01:22:57.320706", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          session-name: 'Explorer'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 255, "reponame": "lexbailey/explore-subgoal", "datetime": "2024-03-30T00:49:48.992223", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v8\n        with:\n          isabelle-url: 'https://github.com/seL4/isabelle/archive/refs/tags/Isabelle2023.tar.gz'\n          session-name: 'Explorer'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v8", "isabelle_version": "unknown_version"}, {"id": 250, "reponame": "lexbailey/explore-subgoal", "datetime": "2024-03-30T00:35:27.380195", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          session-name: 'Explorer'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 249, "reponame": "lexbailey/Total_Recall", "datetime": "2024-03-30T00:32:50.780422", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 242, "reponame": "isabelle-utp/Z_Toolkit", "datetime": "2024-02-06T13:58:18.966591", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          depends: 'https://github.com/isabelle-utp/Optics.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 241, "reponame": "isabelle-utp/Z_Toolkit", "datetime": "2024-02-06T13:47:32.251721", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          depends: 'https://github.com/isabelle-utp/Optics.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 224, "reponame": "isabelle-utp/UTP-Designs", "datetime": "2024-01-30T14:47:50.178687", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp.zip'\n          depends: 'https://github.com/isabelle-utp/UTP.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 223, "reponame": "isabelle-utp/UTP-Designs", "datetime": "2024-01-30T14:47:43.046225", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp_2022.zip'\n          depends: 'https://github.com/isabelle-utp/UTP.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 222, "reponame": "isabelle-utp/Shallow-Expressions", "datetime": "2024-01-30T14:40:15.044995", "result": 1, "config": "on: [push]\njobs:\n  build-shallow-expr:\n    runs-on: ubuntu-latest\n    name: Build Shallow-Expressions\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          depends: 'https://github.com/isabelle-utp/Z_Toolkit.git@main'\n          session-name: 'Shallow-Expressions Shallow-Expressions-Z'\n          theory-root: '. Z'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 221, "reponame": "isabelle-utp/Optics", "datetime": "2024-01-30T14:38:31.465548", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 220, "reponame": "isabelle-utp/Shallow-Expressions", "datetime": "2024-01-30T14:30:28.087234", "result": 1, "config": "on: [push]\njobs:\n  build-shallow-expr:\n    runs-on: ubuntu-latest\n    name: Build Shallow-Expressions\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          depends: 'https://github.com/isabelle-utp/Z_Toolkit.git@main'\n          session-name: 'Shallow-Expressions Shallow-Expressions-Z'\n          theory-root: '. Z'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 219, "reponame": "isabelle-utp/Optics", "datetime": "2024-01-30T14:28:55.989278", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 192, "reponame": "isabelle-utp/UTP", "datetime": "2023-10-31T16:15:44.096391", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp.zip'\n          depends: 'https://github.com/lexbailey/Shallow-Expressions.git@main'\n          session-name: 'UTP2'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 191, "reponame": "isabelle-utp/UTP", "datetime": "2023-10-31T16:15:26.074922", "result": 1, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp_2022.zip'\n          depends: 'https://github.com/lexbailey/Shallow-Expressions.git@main'\n          session-name: 'UTP2'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 121, "reponame": "lexbailey/interaction-trees", "datetime": "2023-05-16T14:47:44.033558", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp_2022.zip'\n          depends: 'https://github.com/isabelle-utp/Shallow-Expressions.git@main https://github.com/isabelle-utp/explore-subgoal.git@main'\n          session-name: 'Interaction_Trees ITree_Simulation ITree_UTP ITree_VCG ITree_RoboChart'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 120, "reponame": "lexbailey/interaction-trees", "datetime": "2023-05-16T14:46:27.801013", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/tags/itrees_utp_2021-1.zip'\n          depends: 'https://github.com/isabelle-utp/Shallow-Expressions.git@main https://github.com/isabelle-utp/explore-subgoal.git@main'\n          session-name: 'Interaction_Trees ITree_Simulation ITree_UTP ITree_VCG ITree_RoboChart'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 118, "reponame": "lexbailey/UTP-Reactive", "datetime": "2023-05-16T14:40:58.290250", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp.zip'\n          depends: \"https://github.com/isabelle-utp/UTP-Designs.git@main\"\n          session-name: 'UTP-Reactive'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 115, "reponame": "lexbailey/UTP-Reactive", "datetime": "2023-05-16T14:35:00.078145", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp_2022.zip'\n          depends: \"https://github.com/isabelle-utp/UTP-Designs.git@main\"\n          session-name: 'UTP-Reactive'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 114, "reponame": "lexbailey/UTP-Designs", "datetime": "2023-05-16T14:31:34.795563", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp_2022.zip'\n          depends: 'https://github.com/isabelle-utp/UTP.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 113, "reponame": "lexbailey/Shallow-Expressions", "datetime": "2023-05-16T14:30:42.284703", "result": 0, "config": "on: [push]\njobs:\n  build-shallow-expr:\n    runs-on: ubuntu-latest\n    name: Build Shallow-Expressions\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          depends: 'https://github.com/isabelle-utp/Z_Toolkit.git@main'\n          session-name: 'Shallow-Expressions Shallow-Expressions-Z'\n          theory-root: '. Z'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 112, "reponame": "lexbailey/Z_Machines", "datetime": "2023-05-16T14:30:13.966664", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp.zip'\n          depends: 'https://github.com/isabelle-utp/interaction-trees.git@master'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 111, "reponame": "lexbailey/UTP", "datetime": "2023-05-16T14:29:17.161748", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp_2022.zip'\n          depends: 'https://github.com/lexbailey/Shallow-Expressions.git@main'\n          session-name: 'UTP2'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 110, "reponame": "lexbailey/UTP", "datetime": "2023-05-16T14:28:33.565596", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp.zip'\n          depends: 'https://github.com/lexbailey/Shallow-Expressions.git@main'\n          session-name: 'UTP2'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 108, "reponame": "lexbailey/Z_Machines", "datetime": "2023-05-16T14:27:49.250188", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp_2022.zip'\n          depends: 'https://github.com/isabelle-utp/interaction-trees.git@master'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 107, "reponame": "lexbailey/Z_Toolkit", "datetime": "2023-05-16T14:24:04.493820", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          depends: 'https://github.com/isabelle-utp/Optics.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 106, "reponame": "lexbailey/UTP-Designs", "datetime": "2023-05-16T14:22:35.650961", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp.zip'\n          depends: 'https://github.com/isabelle-utp/UTP.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 105, "reponame": "lexbailey/explore-subgoal", "datetime": "2023-05-16T14:22:14.455730", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          session-name: 'Explorer'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 104, "reponame": "lexbailey/Optics", "datetime": "2023-05-16T14:10:37.789409", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 103, "reponame": "lexbailey/Total_Recall", "datetime": "2023-05-16T14:10:14.246992", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 101, "reponame": "lexbailey/Shallow-Expressions", "datetime": "2023-05-16T14:08:22.759890", "result": 0, "config": "on: [push]\njobs:\n  build-shallow-expr:\n    runs-on: ubuntu-latest\n    name: Build Shallow-Expressions\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          depends: 'https://github.com/isabelle-utp/Z_Toolkit.git@main'\n          session-name: 'Shallow-Expressions Shallow-Expressions-Z'\n          theory-root: '. Z'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 100, "reponame": "lexbailey/Z_Toolkit", "datetime": "2023-05-16T14:05:40.561477", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          depends: 'https://github.com/isabelle-utp/Optics.git@main'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 99, "reponame": "lexbailey/Optics", "datetime": "2023-05-16T13:55:49.998360", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 95, "reponame": "isabelle-utp/UTP-Reactive", "datetime": "2023-05-15T23:07:29.423587", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp.zip'\n          depends: \"https://github.com/isabelle-utp/UTP-Designs.git@main\"\n          session-name: 'UTP-Reactive'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 94, "reponame": "isabelle-utp/UTP-Reactive", "datetime": "2023-05-15T23:06:04.244976", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          custom-isabelle-url: 'https://github.com/lexbailey/itrees_isabelle_fork/archive/refs/heads/itrees_utp_2022.zip'\n          depends: \"https://github.com/isabelle-utp/UTP-Designs.git@main\"\n          session-name: 'UTP-Reactive'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 90, "reponame": "isabelle-utp/explore-subgoal", "datetime": "2023-05-15T22:42:38.140399", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          session-name: 'Explorer'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 89, "reponame": "isabelle-utp/Total_Recall", "datetime": "2023-05-15T22:42:15.933320", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2021-1'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2021-1"}, {"id": 84, "reponame": "isabelle-utp/Total_Recall", "datetime": "2023-05-15T22:27:32.833475", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 82, "reponame": "isabelle-utp/explore-subgoal", "datetime": "2023-05-15T22:21:11.898337", "result": 0, "config": "on: [push]\njobs:\n  build:\n    runs-on: ubuntu-latest\n    name: Build Theory\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v7\n        with:\n          isabelle-version: '2022'\n          session-name: 'Explorer'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n", "builder_version": "v7", "isabelle_version": "2022"}, {"id": 61, "reponame": "lexbailey/utp-main", "datetime": "2022-11-16T18:50:52.541306", "result": 1, "config": "on: [push]\njobs:\n  build-shallow-expr:\n    runs-on: ubuntu-latest\n    name: Build utp-main\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v6\n        with:\n          isabelle-version: '2021-1'\n          #depends: 'https://github.com/isabelle-utp/Z_Toolkit.git@main'\n          depends: 'https://github.com/lexbailey/Z_Toolkit.git@main'\n          session-name: 'Profiling Continuum Dynamics UTP1-Toolkit UTP1 UTP1-Calculi ZedLite UTP1-KAT UTP1-Designs UTP1-Undef UTP1-Memory UTP1-Impl UTP1-Reactive UTP1-Reactive-Designs UTP1-Time UTP1-Stateful-Failures UTP1-Circus UTP1-Deep UTP1-Axm UTP1-Deep-Axm UTP1-Theories UTP1-Hybrid-Imports UTP1-Hybrid UTP1-dL UTP1-Hybrid-Deep UTP1-Hybrid-Examples Modelica Modelica-NC VDM-SL UTP1-Tutorial RoboChart-Untimed FMI Tokeneer'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v6", "isabelle_version": "2021-1"}, {"id": 60, "reponame": "lexbailey/utp-main", "datetime": "2022-11-16T17:30:17.216912", "result": 1, "config": "on: [push]\njobs:\n  build-shallow-expr:\n    runs-on: ubuntu-latest\n    name: Build utp-main\n    steps:\n      - uses: actions/checkout@v3\n      - uses: lexbailey/isabelle-theory-build-github-action@v6\n        with:\n          isabelle-version: '2022'\n          #depends: 'https://github.com/isabelle-utp/Z_Toolkit.git@main'\n          depends: 'https://github.com/lexbailey/Z_Toolkit.git@main'\n          session-name: 'Profiling Continuum Dynamics UTP1-Toolkit UTP1 UTP1-Calculi ZedLite UTP1-KAT UTP1-Designs UTP1-Undef UTP1-Memory UTP1-Impl UTP1-Reactive UTP1-Reactive-Designs UTP1-Time UTP1-Stateful-Failures UTP1-Circus UTP1-Deep UTP1-Axm UTP1-Deep-Axm UTP1-Theories UTP1-Hybrid-Imports UTP1-Hybrid UTP1-dL UTP1-Hybrid-Deep UTP1-Hybrid-Examples Modelica Modelica-NC VDM-SL UTP1-Tutorial RoboChart-Untimed FMI Tokeneer'\n          report_url: 'https://isabelle-utp-ci-dashboard.link/submit_job_log'\n          report_secret: ${{ secrets.DashboardReportKey }}\n\n", "builder_version": "v6", "isabelle_version": "2022"}, {"id": 19, "reponame": "lexbailey/utp-main", "datetime": "2022-11-14T04:34:23.638362", "result": 1, "config": "{\"error\":\"Unable to find config file\"}", "builder_version": "unknown_version", "isabelle_version": "unknown_version"}]