Updates available but manual intervention required

mseri / BET

Project for "Machine-Checked Mathematics" at the Lorentz Center

Apache License 2.0

6 stars 5 forks source link

Closed github-actions[bot] closed 3 months ago

github-actions[bot] commented 3 months ago

Run lake update and then investigate why this update causes the lean build to fail. Files changed in update: lake-manifest.json

mseri commented 3 months ago

Solved by #67