Skip to content

Actions: Axiomatic-AI/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
28 workflow runs
28 workflow runs

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-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
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 (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
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
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
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
docker_dir Run pre-commit and in-place update PR on push #21: Commit 7edefb5 pushed by winstonyin-ax
30s quiver
quiver
30s
Merge branch 'master' into quiver Run pre-commit and in-place update PR on push #20: Commit 9fa3c14 pushed by winstonyin-ax
28s quiver
quiver
28s
insert quiver requirement if dropped Run pre-commit and in-place update PR on push #19: Commit 9efb895 pushed by winstonyin-ax
30s quiver
quiver
30s
Sync upstream mathlib4 (2026-05-11, +11 commits) Run pre-commit and in-place update PR on push #18: Pull request #3 opened by winstonyin-ax
34s sync/upstream
sync/upstream
34s
Merge upstream/master@50f0559af9 (2026-05-11) Run pre-commit and in-place update PR on push #17: Commit 5c2406f pushed by winstonyin-ax
25s sync/upstream
sync/upstream
25s
Merge branch 'master' into quiver Run pre-commit and in-place update PR on push #16: Commit addab94 pushed by winstonyin-ax
20s quiver
quiver
20s
Sync upstream mathlib4 (2026-05-10, +65 commits) Run pre-commit and in-place update PR on push #15: Pull request #2 opened by winstonyin-ax
29s sync/upstream
sync/upstream
29s
Merge upstream/master@706bea155c (2026-05-10) Run pre-commit and in-place update PR on push #14: Commit 6b495b4 pushed by winstonyin-ax
21s sync/upstream
sync/upstream
21s
PAT test Run pre-commit and in-place update PR on push #13: Pull request #1 opened by winstonyin-ax
30s sync/upstream
sync/upstream
30s
Merge upstream/master@196aaf95cb (2026-05-10) Run pre-commit and in-place update PR on push #12: Commit feeff90 pushed by winstonyin-ax
25s sync/upstream
sync/upstream
25s
Merge upstream/master@196aaf95cb (2026-05-10) Run pre-commit and in-place update PR on push #11: Commit 14aee0b pushed by winstonyin-ax
25s sync/upstream
sync/upstream
25s
Merge upstream/master@196aaf95cb (2026-05-10) Run pre-commit and in-place update PR on push #10: Commit ebb64a3 pushed by winstonyin-ax
29s sync/upstream
sync/upstream
29s
Merge upstream/master@cb63a065a0 (2026-05-10) Run pre-commit and in-place update PR on push #9: Commit aa5dfb5 pushed by winstonyin-ax
28s sync/upstream
sync/upstream
28s
Merge branch 'master' into quiver Run pre-commit and in-place update PR on push #8: Commit 8b26be3 pushed by winstonyin-ax
25s quiver
quiver
25s
data_dir Run pre-commit and in-place update PR on push #7: Commit f6b8beb pushed by winstonyin-ax
27s quiver
quiver
27s
git repo Run pre-commit and in-place update PR on push #6: Commit 1db7a83 pushed by winstonyin-ax
22s quiver
quiver
22s
venv path Run pre-commit and in-place update PR on push #5: Commit d704234 pushed by winstonyin-ax
20s quiver
quiver
20s
Merge branch 'master' into quiver Run pre-commit and in-place update PR on push #4: Commit 7974499 pushed by winstonyin-ax
25s quiver
quiver
25s