continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4127 #91234

Sign in to view logs

Triggered via push May 14, 2024 18:59

leanprover-community-mathlib4-bot

lean-pr-testing-4127

Status Failure

Total duration 6h 0m 9s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows

summarize_declarations

Annotations

2 errors

The job running on runner hoskinson7 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.