Skip to content
continuous integration (mathlib forks)

[Merged by Bors] - chore: lint show (adaptation for leanprover/lean4#7395) #212277

Sign in to view logs

[Merged by Bors] - chore: lint show (adaptation for leanprover/lean4#7395)

[Merged by Bors] - chore: lint show (adaptation for leanprover/lean4#7395) #212277

Triggered via pull request June 12, 2025 16:01
@Rob23obaRob23oba
synchronize #25749
Status Failure
Total duration 17m 14s
Artifacts –

build_fork.yml

on: pull_request_target
Lint style (fork)
2m 52s
Lint style (fork)
Build (fork)
13m 37s
Build (fork)
Post-Build Step (fork)
3m 33s
Post-Build Step (fork)
Post-CI job (fork)
Post-CI job (fork)
CI Success
CI Success
Fit to window
Zoom out
Zoom in

Annotations

1 error
Post-Build Step (fork)
Process completed with exit code 3.