continuous integration

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

Sign in to view logs

Triggered via push May 15, 2024 23:50

leanprover-community-mathlib4-bot

lean-pr-testing-4127

Status Cancelled

Total duration 4h 17m 25s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows

summarize_declarations

Annotations

2 errors

The run was canceled by @github-actions[bot].

The operation was canceled.