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

Check PR body for changelog convention Check PR body for changelog convention #3350: Merge group checks requested
January 13, 2025 21:18 12s
January 13, 2025 21:18 12s
fix: Windows stage0 linking Check PR body for changelog convention #3349: Pull request #6622 synchronize by hargoniX
January 13, 2025 21:08 13s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 21:08 13s
fix: Windows stage0 linking Check PR body for changelog convention #3348: Pull request #6622 synchronize by hargoniX
January 13, 2025 21:07 12s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 21:07 12s
fix: Windows stage0 linking Check PR body for changelog convention #3347: Pull request #6622 synchronize by hargoniX
January 13, 2025 20:54 12s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 20:54 12s
fix: Windows stage0 linking Check PR body for changelog convention #3346: Pull request #6622 synchronize by hargoniX
January 13, 2025 20:38 13s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 20:38 13s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs Check PR body for changelog convention #3345: Pull request #6631 ready_for_review by tydeu
January 13, 2025 20:12 13s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 20:12 13s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs Check PR body for changelog convention #3344: Pull request #6631 labeled by leanprover-community-bot
January 13, 2025 20:05 14s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 20:05 14s
feat: partial_fixpoint: partial functions with equations Check PR body for changelog convention #3343: Pull request #6355 synchronize by nomeata
January 13, 2025 19:31 8s joachim/tailrec
joachim/tailrec
January 13, 2025 19:31 8s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs Check PR body for changelog convention #3342: Pull request #6631 synchronize by tydeu
January 13, 2025 18:53 10s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 18:53 10s
Check PR body for changelog convention Check PR body for changelog convention #3341: Merge group checks requested
January 13, 2025 18:51 11s
January 13, 2025 18:51 11s
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 #3340: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:15 10s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:15 10s
Check PR body for changelog convention Check PR body for changelog convention #3339: Merge group checks requested
January 13, 2025 18:11 13s
January 13, 2025 18:11 13s
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 #3338: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:10 14s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:10 14s
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 #3337: Pull request #6630 edited by luisacicolini
January 13, 2025 18:05 11s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:05 11s
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 #3336: Pull request #6630 edited by luisacicolini
January 13, 2025 18:05 14s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:05 14s
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 #3335: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:00 11s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:00 11s
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 #3334: Pull request #6630 synchronize by luisacicolini
January 13, 2025 17:44 9s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 17:44 9s
feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check PR body for changelog convention #3333: Pull request #6628 ready_for_review by luisacicolini
January 13, 2025 17:37 14s opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 13, 2025 17:37 14s
feat: implement basic async IO with timers Check PR body for changelog convention #3332: Pull request #6505 synchronize by hargoniX
January 13, 2025 16:58 12s ft-async
ft-async
January 13, 2025 16:58 12s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs Check PR body for changelog convention #3331: Pull request #6631 opened by tydeu
January 13, 2025 16:31 10s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 16:31 10s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs Check PR body for changelog convention #3330: Pull request #6631 labeled by tydeu
January 13, 2025 16:31 13s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 16:31 13s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs Check PR body for changelog convention #3329: Pull request #6631 labeled by tydeu
January 13, 2025 16:31 10s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 16:31 10s
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 #3328: Pull request #6630 edited by luisacicolini
January 13, 2025 16:24 4m 34s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:24 4m 34s
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 #3327: Pull request #6630 edited by luisacicolini
January 13, 2025 16:24 11s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:24 11s
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 #3326: Pull request #6630 synchronize by luisacicolini
January 13, 2025 16:24 13s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:24 13s