Skip to content

Actions: mcdoll/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docker docker #278: Scheduled
2s master
master
2s
Daily CI Workflow Daily CI Workflow #278: Scheduled
2s master
master
2s
Zulip emoji CI status Zulip emoji CI status #548: completed by mcdoll
1s
1s
Export workflow telemetry Export workflow telemetry #294: completed by mcdoll
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #67: completed by mcdoll
9s
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #882: completed by mcdoll
9s
9s
Zulip emoji CI status Zulip emoji CI status #547: requested by mcdoll
2s
2s
initial commit continuous integration #905: Commit 20d26c7 pushed by mcdoll
1s IsApplyZICM
IsApplyZICM
1s
initial commit Run pre-commit and in-place update PR on push #784: Commit 20d26c7 pushed by mcdoll
40s IsApplyZICM
IsApplyZICM
40s
Merge conflicts Merge conflicts #10309: Scheduled
1s master
master
1s
Declarations diff (post-build) Declarations diff (post-build) #66: completed by mcdoll
1s
1s
Zulip emoji CI status Zulip emoji CI status #546: completed by mcdoll
1s
1s
Export workflow telemetry Export workflow telemetry #293: completed by mcdoll
8s
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #881: completed by mcdoll
1s
1s
Zulip emoji CI status Zulip emoji CI status #545: requested by mcdoll
1s
1s
nolints continuous integration #904: Commit 2a7472a pushed by mcdoll
8s IsApplyLM
IsApplyLM
8s
nolints Run pre-commit and in-place update PR on push #783: Commit 2a7472a pushed by mcdoll
25s IsApplyLM
IsApplyLM
25s
Remove unnecessary set_option lines Remove unnecessary set_option lines #11: Scheduled
2s master
master
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #880: completed by mcdoll
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #65: completed by mcdoll
6s
6s
Export workflow telemetry Export workflow telemetry #292: completed by mcdoll
1s
1s
Zulip emoji CI status Zulip emoji CI status #544: completed by mcdoll
1s
1s
Zulip emoji CI status Zulip emoji CI status #543: completed by mcdoll
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #64: completed by mcdoll
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #879: completed by mcdoll
1s
1s