A first go an operation extension. Needs more work. · isabelle-utp/Z_Machines@ab55609

Triggered via push July 19, 2024 11:50

main

Status Failure

Total duration 4m 43s

Artifacts –

build_2021-1.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', '2021-1', '', '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/