Export workflow telemetry

Export workflow telemetry #14741

Sign in to view logs

Triggered via workflow run March 10, 2026 14:05

mathlib-bors[bot]

completed ⁠ fbc9185

Status Success

Total duration 10s

Artifacts –

export_telemetry.yaml

on: workflow_run