Skip to content

ci(weekly-lints): fail on a missing lint report and post a notice to Zulip - #886

Open
jessealama wants to merge 1 commit into
leanprover:mainfrom
jessealama:ci/weekly-lints-guards
Open

ci(weekly-lints): fail on a missing lint report and post a notice to Zulip#886
jessealama wants to merge 1 commit into
leanprover:mainfrom
jessealama:ci/weekly-lints-guards

ci(weekly-lints): fail on a missing lint report and post a notice to …

40ec1f1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 8, 2026 in 2s