Added further lemmas to support proof automation of collection lenses #15
simondfosterbuild_2021-1.yml
on: push
Build Shallow-Expressions
11m 1s
Annotations
4 errors and 2 warnings
|
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.
|
|
Build Shallow-Expressions
Failed to report test results to dashboard service
|
|
Build Shallow-Expressions
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/.
|