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

Actions

All workflows
Workflows
- 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

12 workflow runs

12 workflow runs

Export workflow telemetry Export workflow telemetry #12: completed by jdhart81

9s

9s

Export workflow telemetry Export workflow telemetry #11: completed by jdhart81

10s

10s

Export workflow telemetry Export workflow telemetry #10: completed by jdhart81

1s

1s

Export workflow telemetry Export workflow telemetry #9: completed by jdhart81

1s

1s

Export workflow telemetry Export workflow telemetry #8: completed by jdhart81

1s

1s

Export workflow telemetry Export workflow telemetry #7: completed by jdhart81

1s

1s

Export workflow telemetry Export workflow telemetry #6: completed by jdhart81

1s

1s

Export workflow telemetry Export workflow telemetry #5: completed by jdhart81

1s

1s

Export workflow telemetry Export workflow telemetry #4: completed by jdhart81

1s

1s

Export workflow telemetry Export workflow telemetry #3: completed by jdhart81

1s

1s

Export workflow telemetry Export workflow telemetry #2: completed by jdhart81

Skipped

Skipped

Export workflow telemetry Export workflow telemetry #1: completed by jdhart81

1s

1s