Export workflow telemetry

Export workflow telemetry #14740

Sign in to view logs

Triggered via workflow run March 10, 2026 13:57

mathlib-bors[bot]

completed ⁠ fbc9185

Status Success

Total duration 9s

Artifacts –

export_telemetry.yaml

on: workflow_run