Skip to content

Actions: Axiomatic-AI/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
116 workflow runs
116 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
[CONFLICT] Sync upstream mathlib4 (2026-05-14) Label PR based on Comment #2: Pull request #8 submitted by cursor Bot
14s
14s
[CONFLICT] Sync upstream mathlib4 (2026-05-14) Label PR based on Comment #1: Pull request #8 created by cursor Bot
7s
7s
Sync upstream finalize Sync upstream finalize #22: completed by winstonyin-ax
1s
1s
Quiver Quiver #22: completed by winstonyin-ax
5h 36m 51s
5h 36m 51s
[auto-sync] Merge upstream mathlib4 into master (PR #8) CI (self-hosted) #26: Commit 58be718 pushed by winstonyin-ax
3m 29s master
master
3m 29s
Sync upstream finalize Sync upstream finalize #21: completed by winstonyin-ax
8s
8s
[CONFLICT] Sync upstream mathlib4 (2026-05-14) Run pre-commit and in-place update PR on push #32: Pull request #8 opened by winstonyin-ax
37s sync/upstream
sync/upstream
37s
[CONFLICT] Sync upstream mathlib4 (2026-05-14) CI (self-hosted) #25: Pull request #8 opened by winstonyin-ax
2m 49s sync/upstream
sync/upstream
2m 49s
Merge upstream/master@e9da88d74d (2026-05-14) (HAS CONFLICTS) Run pre-commit and in-place update PR on push #31: Commit 8fb9087 pushed by winstonyin-ax
27s sync/upstream
sync/upstream
27s
Sync upstream mathlib4 Sync upstream mathlib4 #11: Scheduled
45s master
master
45s
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