Skip to content

Actions: Axiomatic-AI/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
859 workflow runs
859 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 reconcile Zulip emoji reconcile #5: Scheduled
2s master
master
2s
Zulip emoji reconcile Zulip emoji reconcile #4: Scheduled
9s master
master
9s
Zulip emoji reconcile Zulip emoji reconcile #3: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #2: Scheduled
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #1: Scheduled
1s master
master
1s
Sync upstream finalize Sync upstream finalize #160: completed by winstonyin-ax
1s
1s
Quiver Quiver #92: completed by winstonyin-ax
33s
33s
[auto-sync] Merge upstream mathlib4 into master (PR #77) CI (self-hosted) #164: Commit 7e1e400 pushed by winstonyin-ax
3m 36s master
master
3m 36s
[auto-sync] Merge upstream mathlib4 into master (PR #77) publish CI tools #48: Commit 7e1e400 pushed by winstonyin-ax
1s master
master
1s
Sync upstream finalize Sync upstream finalize #159: completed by winstonyin-ax
11s
11s
Lake cache shadow (master) Lake cache shadow (master) #49: Scheduled
1s master
master
1s
Sync upstream mathlib4 (2026-07-18, +34 commits) Run pre-commit and in-place update PR on push #172: Pull request #77 opened by winstonyin-ax
28s sync/upstream
sync/upstream
28s
Sync upstream mathlib4 (2026-07-18, +34 commits) CI (self-hosted) #163: Pull request #77 opened by winstonyin-ax
3m 4s sync/upstream
sync/upstream
3m 4s
Merge upstream/master@abb22825db (2026-07-18) Run pre-commit and in-place update PR on push #171: Commit 8e0fd64 pushed by winstonyin-ax
20s sync/upstream
sync/upstream
20s
Sync upstream mathlib4 Sync upstream mathlib4 #77: Scheduled
44s master
master
44s
Quiver Quiver #91: completed by winstonyin-ax
42s
42s
Sync upstream finalize Sync upstream finalize #158: completed by winstonyin-ax
1s
1s
[auto-sync] Merge upstream mathlib4 into master (PR #76) CI (self-hosted) #162: Commit 04d36cb pushed by winstonyin-ax
4m 57s master
master
4m 57s
[auto-sync] Merge upstream mathlib4 into master (PR #76) publish CI tools #47: Commit 04d36cb pushed by winstonyin-ax
1s master
master
1s
Lake cache shadow (master) Lake cache shadow (master) #48: Scheduled
2s master
master
2s
Sync upstream finalize Sync upstream finalize #157: completed by winstonyin-ax
7s
7s
Sync upstream mathlib4 (2026-07-17, +24 commits) Run pre-commit and in-place update PR on push #170: Pull request #76 opened by winstonyin-ax
35s sync/upstream
sync/upstream
35s
Sync upstream mathlib4 (2026-07-17, +24 commits) CI (self-hosted) #161: Pull request #76 opened by winstonyin-ax
3m 22s sync/upstream
sync/upstream
3m 22s
Merge upstream/master@fd1d54bcac (2026-07-17) Run pre-commit and in-place update PR on push #169: Commit 28c28d7 pushed by winstonyin-ax
29s sync/upstream
sync/upstream
29s
Sync upstream mathlib4 Sync upstream mathlib4 #76: Scheduled
43s master
master
43s