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 2 weeks ago

github-actions[bot] commented 2 weeks ago

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

Seasawher commented 2 weeks ago

resolved by a20f150d6e9c159a1f60290f2401960af0bccaa5