Commit 2026-10-01 09:17 1f2e1a8c

ci(weekly-lints): pass the build status to the Zulip report (#43551) The report script marks a run with a green checkmark only when the caller sets SUCCESS=true. This workflow never did: the switch was added to the script in mathlib-ci in March 2026, and the nightly workflows there were updated to set it, but the weekly workflows in Mathlib and CSLib were not. The result is that every weekly report has been posted with a red X, even when the build was clean and had no linter messages. The solution is to just capture the exit status of lake build and pass it through.