Updated Z_Machines to use the new type signature for generating chann… · isabelle-utp/Z_Machines@4561c88

Triggered via push August 6, 2024 19:40

main

Status Failure

Total duration 5m 17s

Artifacts –

build_2022.yml

on: push

5 errors and 3 warnings

Build failed: Command '['./bin/isabelle', 'build', '-b', 'Interaction_Trees']' returned non-zero exit status 2.

Unable to resolve dependency, is the build file missing for the dependency repo?: https://github.com/isabelle-utp/Shallow-Expressions.git@main

Unable to resolve dependency, is the build file missing for the dependency repo?: https://github.com/isabelle-utp/explore-subgoal.git@main

Build failed in an unexpected way: Command '['/home/runner/work/_actions/lexbailey/isabelle-theory-build-github-action/v7/build_isabelle_theory', '2022', '', 'Interaction_Trees ITree_Simulation ITree_UTP ITree_VCG ITree_RoboChart', 'https://github.com/isabelle-utp/Shallow-Expressions.git@main https://github.com/isabelle-utp/explore-subgoal.git@main', '', '', '', '', '--projname=interaction-trees']' returned non-zero exit status 1.

Process completed with exit code 1.

Build is continuing with missing dependencies, further errors might be expected.

Build is continuing with missing dependencies, further errors might be expected.

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/