Skip to content

Actions: Axiomatic-AI/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 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
Sync upstream finalize Sync upstream finalize #20: completed by winstonyin-ax
1s
1s
Quiver Quiver #21: completed by winstonyin-ax
5h 19m 47s
5h 19m 47s
[auto-sync] Merge upstream mathlib4 into master (PR #7) CI (self-hosted) #24: Commit 76002c6 pushed by winstonyin-ax
4m 14s master
master
4m 14s
Sync upstream finalize Sync upstream finalize #19: completed by winstonyin-ax
10s
10s
[CONFLICT] Sync upstream mathlib4 (2026-05-13) Run pre-commit and in-place update PR on push #30: Pull request #7 opened by winstonyin-ax
39s sync/upstream
sync/upstream
39s
[CONFLICT] Sync upstream mathlib4 (2026-05-13) CI (self-hosted) #23: Pull request #7 opened by winstonyin-ax
2m 48s sync/upstream
sync/upstream
2m 48s
Merge upstream/master@1c1dadbc28 (2026-05-13) (HAS CONFLICTS) Run pre-commit and in-place update PR on push #29: Commit 34686d5 pushed by winstonyin-ax
22s sync/upstream
sync/upstream
22s
Sync upstream mathlib4 Sync upstream mathlib4 #10: Scheduled
34s master
master
34s
Quiver Quiver #20: completed by winstonyin-ax
5h 28m 12s
5h 28m 12s
Sync upstream finalize Sync upstream finalize #18: completed by winstonyin-ax
2s
2s
[auto-sync] Merge upstream mathlib4 into master (PR #6) CI (self-hosted) #22: Commit abf1490 pushed by winstonyin-ax
3m 3s master
master
3m 3s
Sync upstream finalize Sync upstream finalize #17: completed by winstonyin-ax
10s
10s
[CONFLICT] Sync upstream mathlib4 (2026-05-12) Run pre-commit and in-place update PR on push #28: Pull request #6 opened by winstonyin-ax
36s sync/upstream
sync/upstream
36s
[CONFLICT] Sync upstream mathlib4 (2026-05-12) CI (self-hosted) #21: Pull request #6 opened by winstonyin-ax
2m 51s sync/upstream
sync/upstream
2m 51s
Merge upstream/master@1b6d405437 (2026-05-12) (HAS CONFLICTS) Run pre-commit and in-place update PR on push #27: Commit 0e5f506 pushed by winstonyin-ax
33s sync/upstream
sync/upstream
33s
Sync upstream mathlib4 Sync upstream mathlib4 #9: Scheduled
33s master
master
33s
Quiver Quiver #19: completed by winstonyin-ax
4h 36m 55s
4h 36m 55s
Sync upstream finalize Sync upstream finalize #16: completed by winstonyin-ax
2s
2s
[auto-sync] Merge upstream mathlib4 into master (PR #5) CI (self-hosted) #20: Commit 5f244e9 pushed by winstonyin-ax
3m 43s master
master
3m 43s
Sync upstream finalize Sync upstream finalize #15: completed by winstonyin-ax
10s
10s
Sync upstream finalize Sync upstream finalize #14: completed by winstonyin-ax
13s
13s
Quiver Quiver #18: completed by winstonyin-ax
2m 55s
2m 55s
Sync upstream mathlib4 (2026-05-11, +30 commits) Run pre-commit and in-place update PR on push #26: Pull request #5 opened by winstonyin-ax
36s sync/upstream
sync/upstream
36s
Sync upstream mathlib4 (2026-05-11, +30 commits) CI (self-hosted) #19: Pull request #5 opened by winstonyin-ax
4m 47s sync/upstream
sync/upstream
4m 47s
Merge upstream/master@686c76b39d (2026-05-11) Run pre-commit and in-place update PR on push #25: Commit 5ae0945 pushed by winstonyin-ax
31s sync/upstream
sync/upstream
31s