Syntax translations bug fix · isabelle-utp/interaction-trees@f127f12

Triggered via push April 15, 2024 13:22

master

Status Failure

Total duration 5m 2s

Artifacts –

build_2022.yml

on: push

4 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

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/.