Skip to content
ci

Trigger CI for https://github.com/leanprover/lean4/pull/3160 #7766

Sign in to view logs

Trigger CI for https://github.com/leanprover/lean4/pull/3160

Trigger CI for https://github.com/leanprover/lean4/pull/3160 #7766

Triggered via push August 15, 2024 10:19
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed df38c59
lean-pr-testing-3160
Status Failure
Total duration 1m 10s
Artifacts –

build.yml

on: push
Build
1m 2s
Build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
Process completed with exit code 1.