continuous integration

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

Sign in to view logs

Triggered via push May 16, 2024 04:07

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 hoskinson2 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.