chore: use toolchain for leanprover/lean4#2749 #18
Annotations
2 errors
Build on macOS
The job running on runner GitHub Actions 4 has exceeded the maximum execution time of 360 minutes.
|
Build on macOS
The operation was canceled.
|