Skip to content

Actions: Axiomatic-AI/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 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
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
Sync upstream mathlib4 Sync upstream mathlib4 #8: Manually run by winstonyin-ax
49s master
master
49s
Quiver Quiver #17: Manually run by winstonyin-ax
7s master
master
7s
Merge branch 'master' into quiver Run pre-commit and in-place update PR on push #24: Commit b934f21 pushed by winstonyin-ax
27s quiver
quiver
27s
ci(quiver): pre-warm olean page cache and raise timeout to 10h CI (self-hosted) #18: Commit e7f5ad3 pushed by winstonyin-ax
3m 49s master
master
3m 49s
Sync upstream finalize Sync upstream finalize #13: completed by winstonyin-ax
2s
2s
Quiver Quiver #16: completed by winstonyin-ax
5h 0m 33s
5h 0m 33s
[auto-sync] Merge upstream mathlib4 into master (PR #4) CI (self-hosted) #17: Commit 098f0a1 pushed by winstonyin-ax
3m 34s master
master
3m 34s
Sync upstream finalize Sync upstream finalize #12: completed by winstonyin-ax
16s
16s
Sync upstream mathlib4 (2026-05-11, +5 commits) CI (self-hosted) #16: Pull request #4 opened by winstonyin-ax
3m 6s sync/upstream
sync/upstream
3m 6s
Sync upstream mathlib4 (2026-05-11, +5 commits) Run pre-commit and in-place update PR on push #23: Pull request #4 opened by winstonyin-ax
37s sync/upstream
sync/upstream
37s
Merge upstream/master@bda55fe31c (2026-05-11) Run pre-commit and in-place update PR on push #22: Commit 9caaa49 pushed by winstonyin-ax
30s sync/upstream
sync/upstream
30s
Sync upstream mathlib4 Sync upstream mathlib4 #7: Scheduled
38s master
master
38s
Quiver Quiver #15: completed by winstonyin-ax
4h 7m 17s
4h 7m 17s
Sync upstream finalize Sync upstream finalize #11: completed by winstonyin-ax
1s
1s
docker_dir Run pre-commit and in-place update PR on push #21: Commit 7edefb5 pushed by winstonyin-ax
30s quiver
quiver
30s
Quiver Quiver #14: Manually run by winstonyin-ax
4h 9m 53s master
master
4h 9m 53s