continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4301 #95899

Sign in to view logs

Triggered via push June 1, 2024 06:59

leanprover-community-mathlib4-bot

lean-pr-testing-4301

Status Failure

Total duration 58m 25s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows

summarize_declarations

Annotations

1 error

The process '/home/lean/.elan/bin/lake' failed with exit code 1