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

Open github-actions[bot] opened 4 days ago

github-actions[bot] commented 4 days ago

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