continuous integration

Update lean-toolchain for testing https://github.com/leanprover/lean4… #89776

Sign in to view logs

Triggered via push May 7, 2024 20:40

leanprover-community-mathlib4-bot

lean-pr-testing-4097

Status Failure

Total duration 3m 57s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows

Annotations

1 error

Process completed with exit code 1.