Skip to content

Actions: leanprover-community/mathlib4

Actions

Export workflow telemetry

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
export_telemetry.yaml
24,135 workflow runs
24,135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Export workflow telemetry Export workflow telemetry #24041: completed by Parcly-Taxel
7s
7s
Export workflow telemetry Export workflow telemetry #24040: completed by espottesmith
9s
9s
Export workflow telemetry Export workflow telemetry #24039: completed by erdOne
10s
10s
Export workflow telemetry Export workflow telemetry #24038: completed by jano-wol
11s
11s
Export workflow telemetry Export workflow telemetry #24037: completed by Thmoas-Guan
7s
7s
Export workflow telemetry Export workflow telemetry #24036: completed by joelriou
10s
10s
Export workflow telemetry Export workflow telemetry #24035: completed by joelriou
10s
10s
Export workflow telemetry Export workflow telemetry #24034: completed by joelriou
10s
10s
Export workflow telemetry Export workflow telemetry #24033: completed by espottesmith
8s
8s
Export workflow telemetry Export workflow telemetry #24032: completed by Thmoas-Guan
6s
6s
Export workflow telemetry Export workflow telemetry #24031: completed by Thmoas-Guan
8s
8s
Export workflow telemetry Export workflow telemetry #24030: completed by espottesmith
8s
8s
Export workflow telemetry Export workflow telemetry #24029: completed by mathlib-bors bot
8s
8s
Export workflow telemetry Export workflow telemetry #24028: completed by joelriou
6s
6s
Export workflow telemetry Export workflow telemetry #24027: completed by joelriou
9s
9s
Export workflow telemetry Export workflow telemetry #24026: completed by espottesmith
11s
11s
Export workflow telemetry Export workflow telemetry #24025: completed by joelriou
7s
7s
Export workflow telemetry Export workflow telemetry #24024: completed by joelriou
9s
9s
Export workflow telemetry Export workflow telemetry #24023: completed by Thmoas-Guan
7s
7s
Export workflow telemetry Export workflow telemetry #24022: completed by joelriou
10s
10s
Export workflow telemetry Export workflow telemetry #24021: completed by jano-wol
9s
9s
Export workflow telemetry Export workflow telemetry #24020: completed by mathlib-bors bot
8s
8s
Export workflow telemetry Export workflow telemetry #24019: completed by mathlib-bors bot
8s
8s
Export workflow telemetry Export workflow telemetry #24018: completed by espottesmith
10s
10s
Export workflow telemetry Export workflow telemetry #24017: completed by Thmoas-Guan
8s
8s