Fixed broken proof #8
simondfosterAnnotations
6 errors and 1 warning
|
Build Theory
Build failed: Command '['./bin/isabelle', 'build', '-b', 'Optics']' returned non-zero exit status 1.
|
|
Build Theory
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 Theory
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 Theory
Build failed in an unexpected way: Command '['/home/runner/work/_actions/lexbailey/isabelle-theory-build-github-action/v7/build_isabelle_theory', '2021-1', '. Z', 'Shallow-Expressions Shallow-Expressions-Z', 'https://github.com/isabelle-utp/Z_Toolkit.git@main', '', '', '', '', '--projname=Shallow-Expressions']' returned non-zero exit status 1.
|
|
Build Theory
Build failed in an unexpected way: Command '['/home/runner/work/_actions/lexbailey/isabelle-theory-build-github-action/v7/build_isabelle_theory', '2021-1', '', 'UTP2', 'https://github.com/lexbailey/Shallow-Expressions.git@main', '', '', '', '', '--projname=UTP']' returned non-zero exit status 1.
|
|
Build Theory
Process completed with exit code 1.
|
|
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/.
|