Skip to content

ci(weekly-lints): pass the build status to the Zulip report - #881

Merged
chenson2018 merged 2 commits into
leanprover:mainfrom
jessealama:ci/weekly-lints-success
Sep 8, 2026
Merged

ci(weekly-lints): pass the build status to the Zulip report#881
chenson2018 merged 2 commits into
leanprover:mainfrom
jessealama:ci/weekly-lints-success

ci(weekly-lints): enable pipefail so the build status is captured

e6166f5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Sep 8, 2026 in 4m 44s