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,342 workflow runs
3,342 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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,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,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,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,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,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,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,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,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,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
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check PR body for changelog convention #3325: Pull request #6630 opened by luisacicolini
January 13, 2025 16:20 10s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:20 10s
feat: implement basic async IO with timers Check PR body for changelog convention #3324: Pull request #6505 synchronize by hargoniX
January 13, 2025 16:16 12s ft-async
ft-async
January 13, 2025 16:16 12s
Check PR body for changelog convention Check PR body for changelog convention #3323: Merge group checks requested
January 13, 2025 16:00 13s
January 13, 2025 16:00 13s
feat: lean --src-deps Check PR body for changelog convention #3322: Pull request #6427 edited by tydeu
January 13, 2025 16:00 11s tydeu:src-deps
tydeu:src-deps
January 13, 2025 16:00 11s
Check PR body for changelog convention Check PR body for changelog convention #3321: Merge group checks requested
January 13, 2025 15:59 12s
January 13, 2025 15:59 12s
feat: lean --src-deps Check PR body for changelog convention #3320: Pull request #6427 ready_for_review by tydeu
January 13, 2025 15:32 8s tydeu:src-deps
tydeu:src-deps
January 13, 2025 15:32 8s
feat: implement basic async IO with timers Check PR body for changelog convention #3319: Pull request #6505 synchronize by hargoniX
January 13, 2025 15:14 9s ft-async
ft-async
January 13, 2025 15:14 9s
feat: Draft of alter/modify lemmas Check PR body for changelog convention #3318: Pull request #6620 synchronize by datokrat
January 13, 2025 15:11 9s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 15:11 9s