Skip to content

Merge pull request #34 from leanprover-community/bump_rc2 #30

Merge pull request #34 from leanprover-community/bump_rc2

Merge pull request #34 from leanprover-community/bump_rc2 #30

Re-run triggered November 20, 2023 04:04
Status Failure
Total duration 6h 0m 30s
Artifacts

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build on macOS
The job running on runner GitHub Actions 5 has exceeded the maximum execution time of 360 minutes.
Build on macOS
The operation was canceled.