Skip to content
continuous integration (staging)

feat: catch non-zero exit code from print-style-output (#16709) #10395

Sign in to view logs

feat: catch non-zero exit code from print-style-output (#16709)

feat: catch non-zero exit code from print-style-output (#16709) #10395

Triggered via push September 12, 2024 02:44
@mathlib-borsmathlib-bors[bot]
pushed f0383d4
staging
Status Failure
Total duration 55m 43s
Artifacts –

bors.yml

on: push
Lint style
42s
Lint style
Build
55m 36s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows
10s
check workflows
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build: test/StringDiagram.lean#L64
unknown option 'linter.setOption'
Build
The process '/home/lean/.elan/bin/lake' failed with exit code 1