Skip to content

Actions: JX-Mo/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
Update Mathlib Dependencies Update Mathlib Dependencies #741: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #880: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #889: Scheduled
11s master
master
11s
Dependent Issues Dependent Issues #1020: Scheduled
10s master
master
10s
Update Mathlib Dependencies Update Mathlib Dependencies #740: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #879: Scheduled
1s master
master
1s
Merge master to nightly Merge master to nightly #62: Scheduled
2s master
master
2s
Zulip emoji reconcile Zulip emoji reconcile #878: completed by JX-Mo
10s
10s
Export workflow telemetry Export workflow telemetry #256: completed by JX-Mo
9s
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #256: completed by JX-Mo
8s
8s
Declarations diff (post-build) Declarations diff (post-build) #257: completed by JX-Mo
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #877: requested by JX-Mo
1s
1s
Merge branch 'master' into LeftFiniteDoubleCoset continuous integration #256: Commit da98c82 pushed by JX-Mo
10s LeftFiniteDoubleCoset
LeftFiniteDoubleCoset
10s
Merge branch 'master' into LeftFiniteDoubleCoset Run pre-commit and in-place update PR on push #247: Commit da98c82 pushed by JX-Mo
29s LeftFiniteDoubleCoset
LeftFiniteDoubleCoset
29s
docker docker #62: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #62: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #888: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #1019: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #739: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #876: Scheduled
1s master
master
1s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #255: Scheduled
9s master
master
9s
Dependent Issues Dependent Issues #1018: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #887: Scheduled
Skipped master
master
Skipped
Update Mathlib Dependencies Update Mathlib Dependencies #738: Scheduled
Skipped master
master
Skipped
Zulip emoji reconcile Zulip emoji reconcile #875: Scheduled
1s master
master
1s