Skip to content

Actions: martinwintermath/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
Daily CI Workflow Daily CI Workflow #266: Scheduled
8s master
master
8s
Remove unnecessary set_option lines Remove unnecessary set_option lines #28: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3601: Scheduled
8s master
master
8s
Zulip emoji reconcile Zulip emoji reconcile #761: Scheduled
1s master
master
1s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #914: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #4973: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #5775: Scheduled
11s master
master
11s
shake shake #22: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #3600: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #760: completed by martinwintermath
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #460: completed by martinwintermath
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #125: completed by martinwintermath
11s
11s
Export workflow telemetry Export workflow telemetry #384: completed by martinwintermath
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #759: requested by martinwintermath
1s
1s
Removed overlapping instance continuous integration #460: Commit cbf391c pushed by martinwintermath
1s bilinear-separating-fact
bilinear-separating-fact
1s
Removed overlapping instance Run pre-commit and in-place update PR on push #436: Commit cbf391c pushed by martinwintermath
24s bilinear-separating-fact
bilinear-separating-fact
24s
Zulip emoji reconcile Zulip emoji reconcile #758: Scheduled
7s master
master
7s
Declarations diff (post-build) Declarations diff (post-build) #124: completed by martinwintermath
1s
1s
Export workflow telemetry Export workflow telemetry #383: completed by martinwintermath
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #757: completed by martinwintermath
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #459: completed by martinwintermath
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #756: requested by martinwintermath
1s
1s
Merge branch 'master' into bilinear-separating-fact continuous integration #459: Commit 63fde1d pushed by martinwintermath
1s bilinear-separating-fact
bilinear-separating-fact
1s
Merge branch 'master' into bilinear-separating-fact Run pre-commit and in-place update PR on push #435: Commit 63fde1d pushed by martinwintermath
26s bilinear-separating-fact
bilinear-separating-fact
26s
Export workflow telemetry Export workflow telemetry #382: completed by martinwintermath
1s
1s