Skip to content

chore: use toolchain for leanprover/lean4#2749 #18

chore: use toolchain for leanprover/lean4#2749

chore: use toolchain for leanprover/lean4#2749 #18

Re-run triggered November 5, 2023 23:07
Status Failure
Total duration 6h 0m 30s
Artifacts

build.yml

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

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.