[Merged by Bors] - ci: Enable telemetry pump for nightly-testing runs#35462

marcelolynch wants to merge 2 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

marcelolynch:2026/02/NightlyTelemetrymarcelolynch/mathlib4:2026/02/NightlyTelemetryCopy head branch name to clipboard