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