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
208 workflow runs
208 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-08-05, +12 commits) Run pre-commit and in-place update PR on push #208: Pull request #95 opened by winstonyin-ax
28s sync/upstream
sync/upstream
28s
Merge upstream/master@060b244276 (2026-08-05) Run pre-commit and in-place update PR on push #207: Commit 9132e8d pushed by winstonyin-ax
22s sync/upstream
sync/upstream
22s
Sync upstream mathlib4 (2026-08-04, +16 commits) Run pre-commit and in-place update PR on push #206: Pull request #94 opened by winstonyin-ax
31s sync/upstream
sync/upstream
31s
Merge upstream/master@9fb10993c1 (2026-08-04) Run pre-commit and in-place update PR on push #205: Commit e3e354c pushed by winstonyin-ax
24s sync/upstream
sync/upstream
24s
Sync upstream mathlib4 (2026-08-03, +4 commits) Run pre-commit and in-place update PR on push #204: Pull request #93 opened by winstonyin-ax
32s sync/upstream
sync/upstream
32s
Merge upstream/master@9c0c555bde (2026-08-03) Run pre-commit and in-place update PR on push #203: Commit 2063127 pushed by winstonyin-ax
39s sync/upstream
sync/upstream
39s
Sync upstream mathlib4 (2026-08-02, +12 commits) Run pre-commit and in-place update PR on push #202: Pull request #92 opened by winstonyin-ax
27s sync/upstream
sync/upstream
27s
Merge upstream/master@ae0d973d69 (2026-08-02) Run pre-commit and in-place update PR on push #201: Commit add1aba pushed by winstonyin-ax
29s sync/upstream
sync/upstream
29s
Sync upstream mathlib4 (2026-08-01, +14 commits) Run pre-commit and in-place update PR on push #200: Pull request #91 opened by winstonyin-ax
30s sync/upstream
sync/upstream
30s
Merge upstream/master@1f8806b67d (2026-08-01) Run pre-commit and in-place update PR on push #199: Commit 4ea40cd pushed by winstonyin-ax
26s sync/upstream
sync/upstream
26s
Sync upstream mathlib4 (2026-07-31, +8 commits) Run pre-commit and in-place update PR on push #198: Pull request #90 opened by winstonyin-ax
28s sync/upstream
sync/upstream
28s
Merge upstream/master@f60ac0eb46 (2026-07-31) Run pre-commit and in-place update PR on push #197: Commit d8e37ce pushed by winstonyin-ax
28s sync/upstream
sync/upstream
28s
Sync upstream mathlib4 (2026-07-30, +20 commits) Run pre-commit and in-place update PR on push #196: Pull request #89 opened by winstonyin-ax
28s sync/upstream
sync/upstream
28s
Merge upstream/master@60af7185ec (2026-07-30) Run pre-commit and in-place update PR on push #195: Commit a765b90 pushed by winstonyin-ax
23s sync/upstream
sync/upstream
23s
Sync upstream mathlib4 (2026-07-29, +26 commits) Run pre-commit and in-place update PR on push #194: Pull request #88 opened by winstonyin-ax
33s sync/upstream
sync/upstream
33s
Merge upstream/master@12ab8e82f8 (2026-07-29) Run pre-commit and in-place update PR on push #193: Commit 773eb14 pushed by winstonyin-ax
25s sync/upstream
sync/upstream
25s
Sync upstream mathlib4 (2026-07-28, +25 commits) Run pre-commit and in-place update PR on push #192: Pull request #87 opened by winstonyin-ax
42s sync/upstream
sync/upstream
42s
Merge upstream/master@996c094298 (2026-07-28) Run pre-commit and in-place update PR on push #191: Commit e62f15e pushed by winstonyin-ax
32s sync/upstream
sync/upstream
32s
Sync upstream mathlib4 (2026-07-27, +5 commits) Run pre-commit and in-place update PR on push #190: Pull request #86 opened by winstonyin-ax
24s sync/upstream
sync/upstream
24s
Merge upstream/master@65fe2a1f85 (2026-07-27) Run pre-commit and in-place update PR on push #189: Commit c51e170 pushed by winstonyin-ax
25s sync/upstream
sync/upstream
25s
Sync upstream mathlib4 (2026-07-26, +4 commits) Run pre-commit and in-place update PR on push #188: Pull request #85 opened by winstonyin-ax
31s sync/upstream
sync/upstream
31s
Merge upstream/master@9cebae57f4 (2026-07-26) Run pre-commit and in-place update PR on push #187: Commit 1789ffe pushed by winstonyin-ax
31s sync/upstream
sync/upstream
31s
Sync upstream mathlib4 (2026-07-25, +34 commits) Run pre-commit and in-place update PR on push #186: Pull request #84 opened by winstonyin-ax
32s sync/upstream
sync/upstream
32s
Merge upstream/master@3bc2a1801c (2026-07-25) Run pre-commit and in-place update PR on push #185: Commit 5532a08 pushed by winstonyin-ax
29s sync/upstream
sync/upstream
29s
Sync upstream mathlib4 (2026-07-24, +7 commits) Run pre-commit and in-place update PR on push #184: Pull request #83 opened by winstonyin-ax
33s sync/upstream
sync/upstream
33s