continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4490 #100221

Sign in to view logs

Triggered via push June 19, 2024 12:06

leanprover-community-mathlib4-bot

lean-pr-testing-4490

Status Cancelled

Total duration 55m 52s

Artifacts –

build.yml

on: push

Cancel Previous Runs (CI)

check workflows

summarize_declarations

Annotations

1 error

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