Skip to content

Actions: leanprover/lean4

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
13,776 workflow runs
13,776 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 title for commit convention #13784: Pull request #6631 synchronize by tydeu
January 13, 2025 18:53 14s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 18:53 14s
Check PR title for commit convention Check PR title for commit convention #13783: Merge group checks requested
January 13, 2025 18:51 13s
January 13, 2025 18:51 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 title for commit convention #13782: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:15 12s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:15 12s
Check PR title for commit convention Check PR title for commit convention #13781: 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 title for commit convention #13780: 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 title for commit convention #13779: Pull request #6630 edited by luisacicolini
January 13, 2025 18:05 12s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:05 12s
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 title for commit convention #13778: 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 title for commit convention #13777: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:00 10s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:00 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 title for commit convention #13776: Pull request #6630 synchronize by luisacicolini
January 13, 2025 17:44 12s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 17:44 12s
feat: implement basic async IO with timers Check PR title for commit convention #13775: Pull request #6505 synchronize by hargoniX
January 13, 2025 16:58 15s ft-async
ft-async
January 13, 2025 16:58 15s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs Check PR title for commit convention #13774: Pull request #6631 opened by tydeu
January 13, 2025 16:31 9s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 16:31 9s
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 title for commit convention #13773: Pull request #6630 edited by luisacicolini
January 13, 2025 16:24 8s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:24 8s
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 title for commit convention #13772: Pull request #6630 edited by luisacicolini
January 13, 2025 16:24 12s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:24 12s
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 title for commit convention #13771: Pull request #6630 synchronize by luisacicolini
January 13, 2025 16:24 12s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:24 12s
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 title for commit convention #13770: Pull request #6630 opened by luisacicolini
January 13, 2025 16:20 11s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:20 11s
feat: implement basic async IO with timers Check PR title for commit convention #13769: Pull request #6505 synchronize by hargoniX
January 13, 2025 16:16 10s ft-async
ft-async
January 13, 2025 16:16 10s
Check PR title for commit convention Check PR title for commit convention #13768: Merge group checks requested
January 13, 2025 16:00 10s
January 13, 2025 16:00 10s
feat: lean --src-deps Check PR title for commit convention #13767: 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 title for commit convention Check PR title for commit convention #13766: Merge group checks requested
January 13, 2025 15:59 11s
January 13, 2025 15:59 11s
feat: implement basic async IO with timers Check PR title for commit convention #13765: Pull request #6505 synchronize by hargoniX
January 13, 2025 15:14 12s ft-async
ft-async
January 13, 2025 15:14 12s
feat: Draft of alter/modify lemmas Check PR title for commit convention #13764: Pull request #6620 synchronize by datokrat
January 13, 2025 15:11 13s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 15:11 13s
fix: Windows stage0 linking Check PR title for commit convention #13763: Pull request #6622 synchronize by Kha
January 13, 2025 15:08 15s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 15:08 15s
feat: Draft of alter/modify lemmas Check PR title for commit convention #13762: Pull request #6620 synchronize by datokrat
January 13, 2025 15:07 9s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 15:07 9s
feat: implement basic async IO with timers Check PR title for commit convention #13761: Pull request #6505 synchronize by hargoniX
January 13, 2025 15:07 12s ft-async
ft-async
January 13, 2025 15:07 12s
feat: Draft of alter/modify lemmas Check PR title for commit convention #13760: Pull request #6620 synchronize by datokrat
January 13, 2025 15:04 12s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 15:04 12s