Skip to content
.github/workflows/build_2021-1.yml

Some fixes to the animator and the ring buffer, so they work again. #43

Sign in to view logs

Some fixes to the animator and the ring buffer, so they work again.

Some fixes to the animator and the ring buffer, so they work again. #43

Triggered via push June 17, 2024 11:23
@simondfostersimondfoster
pushed 978f15a
master
Status Failure
Total duration 7m 55s
Artifacts –

build_2021-1.yml

on: push
Build Theory
7m 46s
Build Theory
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 3 warnings
Build Theory
Build failed: Command '['./bin/isabelle', 'build', '-b', 'Interaction_Trees']' returned non-zero exit status 2.
Build Theory
Unable to resolve dependency, is the build file missing for the dependency repo?: https://github.com/isabelle-utp/Shallow-Expressions.git@main
Build Theory
Unable to resolve dependency, is the build file missing for the dependency repo?: https://github.com/isabelle-utp/explore-subgoal.git@main
Build Theory
Process completed with exit code 1.
Build Theory
Build is continuing with missing dependencies, further errors might be expected.
Build Theory
Build is continuing with missing dependencies, further errors might be expected.
Build Theory
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/.