wip #2
acharneskiAnnotations
3 errors and 1 warning
|
Build
Process completed with exit code 1.
|
|
Build
Exiting with status 1
|
|
Build
No lake-manifest.json found. Run lake update to generate manifest
|
|
Build
Unexpected input(s) 'working-directory', valid inputs are ['auto-config', 'build', 'test', 'lint', 'mk_all-check', 'build-args', 'use-mathlib-cache', 'check-reservoir-eligibility', 'lean4checker', 'use-github-cache', 'lake-package-directory', 'reinstall-transient-toolchain']
|