continuous integration

fix: use + 1 lemma in apply? #94972

Sign in to view logs

Triggered via push May 28, 2024 21:39

lean-pr-testing-4242

Status Failure

Total duration 11m 15s

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