From 31fb6ff5fb938701059a3cf349f941c58d8a8b61 Mon Sep 17 00:00:00 2001
From: Chris Henson <chrishenson.net@gmail.com>
Date: Mon, 27 Apr 2026 23:38:54 -0400
Subject: [PATCH] ci: use INFO=true for weekly linting

---
 .github/workflows/weekly-lints.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/weekly-lints.yml b/.github/workflows/weekly-lints.yml
index 42462e34e..949213f26 100644
--- a/.github/workflows/weekly-lints.yml
+++ b/.github/workflows/weekly-lints.yml
@@ -58,6 +58,7 @@ jobs:
         SHA=${{ github.sha }} \
         REPO=${{ github.repository }} \
         RUN_ID=${{ github.run_id }} \
+        INFO=true \
           "${CI_SCRIPTS_DIR}/reporting/zulip_build_report.sh" "${lean_outfile}" > "${GITHUB_OUTPUT}"
 
     - name: Post output to Zulip