Test with Lean nightly #1
david-christiansennightly.yml
on: workflow_dispatch
update-toolchain
6s
Annotations
1 error
|
update-toolchain
Process completed with exit code 127.
|