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
172 workflow runs
172 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
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
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 (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
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 (2026-07-16, +24 commits) Run pre-commit and in-place update PR on push #168: Pull request #75 opened by winstonyin-ax
26s sync/upstream
sync/upstream
26s
Merge upstream/master@ec5d4a96c3 (2026-07-16) Run pre-commit and in-place update PR on push #167: Commit 4c0e75f pushed by winstonyin-ax
28s sync/upstream
sync/upstream
28s
Sync upstream mathlib4 (2026-07-15, +23 commits) Run pre-commit and in-place update PR on push #166: Pull request #74 opened by winstonyin-ax
33s sync/upstream
sync/upstream
33s
Merge upstream/master@11d11a11a6 (2026-07-15) Run pre-commit and in-place update PR on push #165: Commit f034327 pushed by winstonyin-ax
21s sync/upstream
sync/upstream
21s
Sync upstream mathlib4 (2026-07-14, +25 commits) Run pre-commit and in-place update PR on push #164: Pull request #73 opened by winstonyin-ax
34s sync/upstream
sync/upstream
34s
Merge upstream/master@14c4b77b0c (2026-07-14) Run pre-commit and in-place update PR on push #163: Commit e6ff86c pushed by winstonyin-ax
20s sync/upstream
sync/upstream
20s
Sync upstream mathlib4 (2026-07-13, +11 commits) Run pre-commit and in-place update PR on push #162: Pull request #72 opened by winstonyin-ax
27s sync/upstream
sync/upstream
27s
Merge upstream/master@46931f419b (2026-07-13) Run pre-commit and in-place update PR on push #161: Commit 818a4ec pushed by winstonyin-ax
29s sync/upstream
sync/upstream
29s
Sync upstream mathlib4 (2026-07-12, +4 commits) Run pre-commit and in-place update PR on push #160: Pull request #71 opened by winstonyin-ax
26s sync/upstream
sync/upstream
26s
Merge upstream/master@79aee35d96 (2026-07-12) Run pre-commit and in-place update PR on push #159: Commit a12a3c7 pushed by winstonyin-ax
30s sync/upstream
sync/upstream
30s
Sync upstream mathlib4 (2026-07-11, +17 commits) Run pre-commit and in-place update PR on push #158: Pull request #70 opened by winstonyin-ax
25s sync/upstream
sync/upstream
25s
Merge upstream/master@c368140668 (2026-07-11) Run pre-commit and in-place update PR on push #157: Commit 4aedde8 pushed by winstonyin-ax
25s sync/upstream
sync/upstream
25s
Sync upstream mathlib4 (2026-07-10, +17 commits) Run pre-commit and in-place update PR on push #156: Pull request #69 opened by winstonyin-ax
34s sync/upstream
sync/upstream
34s
Merge upstream/master@a33a5ccd63 (2026-07-10) Run pre-commit and in-place update PR on push #155: Commit d692139 pushed by winstonyin-ax
24s sync/upstream
sync/upstream
24s
Sync upstream mathlib4 (2026-07-09, +26 commits) Run pre-commit and in-place update PR on push #154: Pull request #68 opened by winstonyin-ax
29s sync/upstream
sync/upstream
29s
Merge upstream/master@ae861491c1 (2026-07-09) Run pre-commit and in-place update PR on push #153: Commit f091753 pushed by winstonyin-ax
29s sync/upstream
sync/upstream
29s
Sync upstream mathlib4 (2026-07-08, +46 commits) Run pre-commit and in-place update PR on push #152: Pull request #67 opened by winstonyin-ax
28s sync/upstream
sync/upstream
28s
Merge upstream/master@ec463ea53b (2026-07-08) Run pre-commit and in-place update PR on push #151: Commit 67cd8ae pushed by winstonyin-ax
25s sync/upstream
sync/upstream
25s
Sync upstream mathlib4 (2026-07-07, +17 commits) Run pre-commit and in-place update PR on push #150: Pull request #66 opened by winstonyin-ax
32s sync/upstream
sync/upstream
32s
Merge upstream/master@5c206a857e (2026-07-07) Run pre-commit and in-place update PR on push #149: Commit 7cf2be9 pushed by winstonyin-ax
21s sync/upstream
sync/upstream
21s
Sync upstream mathlib4 (2026-07-06, +3 commits) Run pre-commit and in-place update PR on push #148: Pull request #65 opened by winstonyin-ax
25s sync/upstream
sync/upstream
25s