Export workflow telemetry

Export workflow telemetry #24020

Sign in to view logs

Triggered via workflow run April 3, 2026 08:47

mathlib-bors[bot]

completed ⁠ 2e36a1d

Status Success

Total duration 8s

Artifacts –

export_telemetry.yaml

on: workflow_run