Export workflow telemetry · Workflow runs · hawkrobe/mathlib4 · GitHub

Actions

All workflows
Workflows
- Autolabel PRs Autolabel PRs
- continuous integration continuous integration
- Export workflow telemetry Export workflow telemetry
- Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing.
- Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push
- Zulip emoji CI status Zulip emoji CI status
Management
- Caches

Export workflow telemetry

Actions

Loading...
Loading

export_telemetry.yaml

85 workflow runs

85 workflow runs

Export workflow telemetry Export workflow telemetry #85: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #84: completed by hawkrobe

9s

9s

Export workflow telemetry Export workflow telemetry #83: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #82: completed by hawkrobe

8s

8s

Export workflow telemetry Export workflow telemetry #81: completed by hawkrobe

Skipped

Skipped

Export workflow telemetry Export workflow telemetry #80: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #79: completed by hawkrobe

Skipped

Skipped

Export workflow telemetry Export workflow telemetry #78: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #77: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #76: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #75: completed by hawkrobe

7s

7s

Export workflow telemetry Export workflow telemetry #74: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #73: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #72: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #71: completed by hawkrobe

9s

9s

Export workflow telemetry Export workflow telemetry #70: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #69: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #68: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #67: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #66: completed by hawkrobe

9s

9s

Export workflow telemetry Export workflow telemetry #65: completed by hawkrobe

8s

8s

Export workflow telemetry Export workflow telemetry #64: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #63: completed by hawkrobe

7s

7s

Export workflow telemetry Export workflow telemetry #62: completed by hawkrobe

1s

1s

Export workflow telemetry Export workflow telemetry #61: completed by hawkrobe

1s

1s