Export workflow telemetry

Export workflow telemetry #14744

Sign in to view logs

Triggered via workflow run March 10, 2026 14:39

mathlib-bors[bot]

completed ⁠ fbc9185

Status Success

Total duration 9s

Artifacts –

export_telemetry.yaml

on: workflow_run