Updates available but manual intervention required

lean-ja / lean-by-example

コード例で学ぶ Lean 言語

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

MIT License

51 stars 7 forks source link

Closed github-actions[bot] closed 4 weeks ago

github-actions[bot] commented 4 weeks ago

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