Workflow runs · BOUN-MATH490/mathlib4 · GitHub

Actions

All workflows
Workflows
- Autolabel PRs Autolabel PRs
- cache tests cache tests
- Check PR titles Check PR titles
- Check workflows Check workflows
- Commit Verification Commit Verification
- Commit Verification (workflow_run) Commit Verification (workflow_run)
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- Export workflow telemetry Export workflow telemetry
- Label New Contributors Label New Contributors
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

770 workflow runs

770 workflow runs

Export workflow telemetry Export workflow telemetry #94: completed by erdkocak

1s

1s

Zulip emoji CI status Zulip emoji CI status #188: completed by erdkocak

1s

1s

Export workflow telemetry Export workflow telemetry #93: completed by erdkocak

2s

2s

Zulip emoji CI status Zulip emoji CI status #187: completed by erdkocak

1s

1s

Export workflow telemetry Export workflow telemetry #92: completed by erdkocak

1s

1s

Zulip emoji CI status Zulip emoji CI status #186: completed by erdkocak

1s

1s

Zulip emoji CI status Zulip emoji CI status #185: completed by erdkocak

1s

1s

Export workflow telemetry Export workflow telemetry #91: completed by erdkocak

1s

1s

Export workflow telemetry Export workflow telemetry #90: completed by erdkocak

1s

1s

Zulip emoji CI status Zulip emoji CI status #184: completed by erdkocak

1s

1s

Export workflow telemetry Export workflow telemetry #89: completed by erdkocak

1s

1s

Zulip emoji CI status Zulip emoji CI status #183: completed by erdkocak

8s

8s

Commit Verification (workflow_run) Commit Verification (workflow_run) #42: completed by erdkocak

9s

9s

Commit Verification (workflow_run) Commit Verification (workflow_run) #41: completed by erdkocak

5s

5s

Commit Verification (workflow_run) Commit Verification (workflow_run) #40: completed by erdkocak

9s

9s

Zulip emoji CI status Zulip emoji CI status #182: completed by erdkocak

1s

1s

Export workflow telemetry Export workflow telemetry #88: completed by erdkocak

1s

1s

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #47: completed by erdkocak

1s

1s

Export workflow telemetry Export workflow telemetry #87: completed by erdkocak

1s

1s

Zulip emoji CI status Zulip emoji CI status #181: completed by erdkocak

1s

1s

Zulip emoji CI status Zulip emoji CI status #180: requested by erdkocak

1s

1s

Zulip emoji CI status Zulip emoji CI status #179: completed by erdkocak

1s

1s

Export workflow telemetry Export workflow telemetry #86: completed by erdkocak

10s

10s

Zulip emoji CI status Zulip emoji CI status #178: completed by erdkocak

1s

1s

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

1s

1s