Updates available but manual intervention required

lean-ja / lean-by-example

コード例で学ぶ Lean 言語

https://lean-ja.github.io/lean-by-example/

MIT License

15 stars 5 forks source link

Closed github-actions[bot] closed 3 days ago

github-actions[bot] commented 3 days ago

Try lake update and then investigate why this update causes the lean build to fail. Files changed in update:

Seasawher commented 3 days ago

resolved by 2b52b6fe0b6f86b6888918fbc9590a4e80aba02e