Skip to content

Actions: leanprover/lean4

Actions

Check PR body for changelog convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-body.yml
3,400 workflow runs
3,400 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow, testBit_mul_two_pow_gt, testBit_mul_two_pow_le, bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check PR body for changelog convention #3375: Pull request #6630 synchronize by luisacicolini
January 14, 2025 08:28 9s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 14, 2025 08:28 9s
Check PR body for changelog convention Check PR body for changelog convention #3374: Merge group checks requested
January 14, 2025 08:10 11s
January 14, 2025 08:10 11s
Check PR body for changelog convention Check PR body for changelog convention #3373: Merge group checks requested
January 14, 2025 07:48 10s
January 14, 2025 07:48 10s
feat: faster, linear HashMap.alter and modify Check PR body for changelog convention #3372: Pull request #6573 labeled by datokrat
January 14, 2025 07:16 13s paul/alter-alter
paul/alter-alter
January 14, 2025 07:16 13s
feat: faster, linear HashMap.alter and modify Check PR body for changelog convention #3371: Pull request #6573 ready_for_review by datokrat
January 14, 2025 07:15 9s paul/alter-alter
paul/alter-alter
January 14, 2025 07:15 9s
feat: faster, linear HashMap.alter and modify Check PR body for changelog convention #3370: Pull request #6573 synchronize by datokrat
January 14, 2025 07:14 10s paul/alter-alter
paul/alter-alter
January 14, 2025 07:14 10s
chore: update release checklist Check PR body for changelog convention #3369: Pull request #6637 opened by kim-em
January 14, 2025 05:45 9s update_release_checklist
update_release_checklist
January 14, 2025 05:45 9s
chore: update release checklist Check PR body for changelog convention #3368: Pull request #6637 labeled by kim-em
January 14, 2025 05:45 9s update_release_checklist
update_release_checklist
January 14, 2025 05:45 9s
Check PR body for changelog convention Check PR body for changelog convention #3367: Merge group checks requested
January 14, 2025 03:29 10s
January 14, 2025 03:29 10s
feat: model construction for offset constraints Check PR body for changelog convention #3366: Pull request #6636 labeled by leodemoura
January 14, 2025 03:08 10s grind_offset_model
grind_offset_model
January 14, 2025 03:08 10s
feat: model construction for offset constraints Check PR body for changelog convention #3365: Pull request #6636 opened by leodemoura
January 14, 2025 03:08 8s grind_offset_model
grind_offset_model
January 14, 2025 03:08 8s
Check PR body for changelog convention Check PR body for changelog convention #3364: Merge group checks requested
January 14, 2025 02:25 7s
January 14, 2025 02:25 7s
feat: allow updating binders to and from strict- and instance-implicit Check PR body for changelog convention #3363: Pull request #6634 labeled by leanprover-community-bot
January 14, 2025 02:14 11s jrr6:binder-update
jrr6:binder-update
January 14, 2025 02:14 11s
chore: display E-matching theorems in goalToMessageData Check PR body for changelog convention #3362: Pull request #6635 labeled by leodemoura
January 14, 2025 02:05 9s grind_pp2
grind_pp2
January 14, 2025 02:05 9s
chore: display E-matching theorems in goalToMessageData Check PR body for changelog convention #3361: Pull request #6635 opened by leodemoura
January 14, 2025 02:05 8s grind_pp2
grind_pp2
January 14, 2025 02:05 8s
Check PR body for changelog convention Check PR body for changelog convention #3360: Merge group checks requested
January 14, 2025 01:11 9s
January 14, 2025 01:11 9s
feat: allow updating binders to and from strict- and instance-implicit Check PR body for changelog convention #3359: Pull request #6634 synchronize by jrr6
January 14, 2025 01:11 7s jrr6:binder-update
jrr6:binder-update
January 14, 2025 01:11 7s
feat: improve grind failure message Check PR body for changelog convention #3358: Pull request #6633 synchronize by leodemoura
January 14, 2025 00:47 12s grind_pp
grind_pp
January 14, 2025 00:47 12s
feat: allow updating binders to and from strict- and instance-implicit Check PR body for changelog convention #3357: Pull request #6634 labeled by jrr6
January 14, 2025 00:41 11s jrr6:binder-update
jrr6:binder-update
January 14, 2025 00:41 11s
feat: allow updating binders to and from strict- and instance-implicit Check PR body for changelog convention #3356: Pull request #6634 opened by jrr6
January 14, 2025 00:41 9s jrr6:binder-update
jrr6:binder-update
January 14, 2025 00:41 9s
feat: improve grind failure message Check PR body for changelog convention #3355: Pull request #6633 labeled by leodemoura
January 14, 2025 00:36 10s grind_pp
grind_pp
January 14, 2025 00:36 10s
feat: improve grind failure message Check PR body for changelog convention #3354: Pull request #6633 opened by leodemoura
January 14, 2025 00:36 15s grind_pp
grind_pp
January 14, 2025 00:36 15s
fix: Windows stage0 linking Check PR body for changelog convention #3353: Pull request #6622 synchronize by hargoniX
January 13, 2025 22:55 14s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 22:55 14s
fix: Windows stage0 linking Check PR body for changelog convention #3352: Pull request #6622 synchronize by hargoniX
January 13, 2025 21:38 11s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 21:38 11s
fix: Windows stage0 linking Check PR body for changelog convention #3351: Pull request #6622 synchronize by hargoniX
January 13, 2025 21:35 10s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 21:35 10s