Skip to content

Actions: zw810-ctrl/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
297 workflow runs
297 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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #49: completed by ADedecker
1s
1s
Zulip emoji CI status Zulip emoji CI status #98: completed by ADedecker
1s
1s
Export workflow telemetry Export workflow telemetry #49: completed by ADedecker
1s
1s
Zulip emoji CI status Zulip emoji CI status #97: requested by ADedecker
9s
9s
Apply suggestions from code review continuous integration #49: Commit 7c4c6a6 pushed by ADedecker
10s grouphomo
grouphomo
10s
Apply suggestions from code review Run pre-commit and in-place update PR on push #49: Commit 7c4c6a6 pushed by ADedecker
29s grouphomo
grouphomo
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #48: completed by zw810-ctrl
2s
2s
Export workflow telemetry Export workflow telemetry #48: completed by zw810-ctrl
1s
1s
Zulip emoji CI status Zulip emoji CI status #96: completed by zw810-ctrl
2s
2s
Zulip emoji CI status Zulip emoji CI status #95: requested by zw810-ctrl
7s
7s
fix continuous integration #48: Commit 3838fb8 pushed by zw810-ctrl
2s grouphomo
grouphomo
2s
fix Run pre-commit and in-place update PR on push #48: Commit 3838fb8 pushed by zw810-ctrl
27s grouphomo
grouphomo
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #47: completed by pre-commit-ci-lite Bot
1s
1s
Export workflow telemetry Export workflow telemetry #47: completed by pre-commit-ci-lite Bot
1s
1s
Zulip emoji CI status Zulip emoji CI status #94: completed by pre-commit-ci-lite Bot
1s
1s
Zulip emoji CI status Zulip emoji CI status #93: requested by pre-commit-ci-lite Bot
Skipped
Skipped
[pre-commit.ci lite] apply automatic fixes continuous integration #47: Commit 7cb397e pushed by pre-commit-ci-lite Bot
9s grouphomo
grouphomo
9s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #47: Commit 7cb397e pushed by pre-commit-ci-lite Bot
25s grouphomo
grouphomo
25s
Export workflow telemetry Export workflow telemetry #46: completed by zw810-ctrl
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #46: completed by zw810-ctrl
1s
1s
Zulip emoji CI status Zulip emoji CI status #92: completed by zw810-ctrl
1s
1s
Zulip emoji CI status Zulip emoji CI status #91: requested by zw810-ctrl
1s
1s
Apply suggestion from @plp127 continuous integration #46: Commit 15b82be pushed by zw810-ctrl
9s grouphomo
grouphomo
9s
Apply suggestion from @plp127 Run pre-commit and in-place update PR on push #46: Commit 15b82be pushed by zw810-ctrl
26s grouphomo
grouphomo
26s
Export workflow telemetry Export workflow telemetry #45: completed by zw810-ctrl
6s
6s