continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/5278 #124176

Sign in to view logs

Triggered via push September 16, 2024 05:30

leanprover-community-mathlib4-bot

lean-pr-testing-5278

Status Cancelled

Total duration 30m 49s

Artifacts –

build.yml

on: push

Cancel Previous Runs (CI)

check workflows

Annotations

2 errors

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

The operation was canceled.