Upgraded show channel so it can handle parametric channel types · isabelle-utp/interaction-trees@4074ed6

Triggered via push September 5, 2024 16:10

master

Status Failure

Total duration 6m 19s

Artifacts –

build_2021-1.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.

The following actions use a deprecated Node.js version 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/