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

Removed SEXP_sexpr_if from the simplifier #10

Sign in to view logs

Removed SEXP_sexpr_if from the simplifier

Removed SEXP_sexpr_if from the simplifier #10

Triggered via push January 16, 2024 09:47
@simondfostersimondfoster
pushed 2bdd0f5
main
Status Failure
Total duration 10m 44s
Artifacts –

build_2021-1.yml

on: push
Build Shallow-Expressions
10m 34s
Build Shallow-Expressions
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Build Shallow-Expressions
Build failed: Command '['./bin/isabelle', 'build', '-b', 'Optics']' returned non-zero exit status 1.
Build Shallow-Expressions
Build failed in an unexpected way: Command '['/home/runner/work/_actions/lexbailey/isabelle-theory-build-github-action/v7/build_isabelle_theory', '2021-1', '', 'Optics', '', '', '', '', '', '--projname=Optics']' returned non-zero exit status 1.
Build Shallow-Expressions
Build failed in an unexpected way: Command '['/home/runner/work/_actions/lexbailey/isabelle-theory-build-github-action/v7/build_isabelle_theory', '2021-1', '', 'Z_Toolkit', 'https://github.com/isabelle-utp/Optics.git@main', '', '', '', '', '--projname=Z_Toolkit']' returned non-zero exit status 1.
Build Shallow-Expressions
Process completed with exit code 1.