Skip to content
.github/workflows/build_2022.yml

Update to Isabelle2023 #36

Sign in to view logs

Update to Isabelle2023

Update to Isabelle2023 #36

Triggered via push May 23, 2024 09:21
@RandallYeRandallYe
pushed 5637ca1
pre_merge_robochart
Status Failure
Total duration 4m 42s
Artifacts –

build_2022.yml

on: push
Build Theory
4m 35s
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/.