This repository was archived by the owner on Mar 9, 2025. It is now read-only.
Update Lean #41
SeasawherAnnotations
2 errors and 1 warning
|
update_lean
lake build failed
|
|
update_lean
Process completed with exit code 1.
|
|
update_lean
Unexpected input(s) 'what_to_update', valid inputs are ['on_update_succeeds', 'on_update_fails', 'update_if_modified', 'build_args', 'token']
|