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

Sign in to view logs

Triggered via push November 20, 2023 03:33

semorrison

main

Status Failure

Total duration 6h 0m 26s

Artifacts –

build.yml

on: push

Matrix: build

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.