Skip to content

Actions: uw-math-ai/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
Zulip emoji CI status Zulip emoji CI status #168: completed by Vilin97
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #84: completed by Vilin97
1s
1s
Export workflow telemetry Export workflow telemetry #84: completed by Vilin97
1s
1s
Zulip emoji CI status Zulip emoji CI status #167: requested by Vilin97
1s
1s
Merge remote-tracking branch 'origin/master' into vasil/grid-helpers continuous integration #84: Commit 486699b pushed by Vilin97
1s vasil/grid-helpers
vasil/grid-helpers
1s
Merge remote-tracking branch 'origin/master' into vasil/grid-helpers Run pre-commit and in-place update PR on push #81: Commit 486699b pushed by Vilin97
21s vasil/grid-helpers
vasil/grid-helpers
21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #83: completed by Vilin97
1s
1s
Export workflow telemetry Export workflow telemetry #83: completed by Vilin97
1s
1s
Zulip emoji CI status Zulip emoji CI status #166: completed by Vilin97
1s
1s
Zulip emoji CI status Zulip emoji CI status #165: requested by Vilin97
1s
1s
Address review comments on piecewise linear interpolation continuous integration #83: Commit 669c8a7 pushed by Vilin97
1s vasil/grid-helpers
vasil/grid-helpers
1s
Address review comments on piecewise linear interpolation Run pre-commit and in-place update PR on push #80: Commit 669c8a7 pushed by Vilin97
31s vasil/grid-helpers
vasil/grid-helpers
31s
Weekly linting report Weekly linting report #22: Scheduled
1s master
master
1s
Weekly Long File Report Weekly Long File Report #22: Scheduled
1s master
master
1s
Weekly Technical Debt Counters Weekly Technical Debt Counters #22: Scheduled
10s master
master
10s
Late importers report Late importers report #22: Scheduled
1s master
master
1s
update nolints update nolints #22: Scheduled
11s master
master
11s
nightly-testing regression report nightly-testing regression report #146: Scheduled
1s master
master
1s
Remove outdated deprecated declarations Remove outdated deprecated declarations #5: Scheduled
7s master
master
7s
Docgen test on nightly-testing Docgen test on nightly-testing #146: Scheduled
10s master
master
10s
Merge master to nightly Merge master to nightly #145: Scheduled
9s master
master
9s
docker docker #145: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #145: Scheduled
1s master
master
1s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #691: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #2406: Scheduled
1s master
master
1s