Changed semantics, so that the given precondition is the only guard, … · isabelle-utp/Z_Machines@10a03d3

Triggered via push July 3, 2024 20:30

outputs_pre

Status Failure

Total duration 5m 31s

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.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.