Skip to content

Actions: leanprover/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.yml
8,307 workflow runs
8,307 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: partial_fixpoint: partial functions with equations Check for stage0 changes #8311: Pull request #6355 synchronize by nomeata
January 13, 2025 19:31 32s joachim/tailrec
joachim/tailrec
January 13, 2025 19:31 32s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs Check for stage0 changes #8310: Pull request #6631 synchronize by tydeu
January 13, 2025 18:53 37s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 18:53 37s
Check for stage0 changes Check for stage0 changes #8309: Merge group checks requested
January 13, 2025 18:51 38s
January 13, 2025 18:51 38s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check for stage0 changes #8308: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:15 46s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:15 46s
Check for stage0 changes Check for stage0 changes #8307: Merge group checks requested
January 13, 2025 18:11 39s
January 13, 2025 18:11 39s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check for stage0 changes #8306: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:10 38s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:10 38s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check for stage0 changes #8305: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:00 55s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:00 55s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check for stage0 changes #8304: Pull request #6630 synchronize by luisacicolini
January 13, 2025 17:44 38s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 17:44 38s
feat: implement basic async IO with timers Check for stage0 changes #8303: Pull request #6505 synchronize by hargoniX
January 13, 2025 16:58 36s ft-async
ft-async
January 13, 2025 16:58 36s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs Check for stage0 changes #8302: Pull request #6631 opened by tydeu
January 13, 2025 16:31 40s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 16:31 40s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check for stage0 changes #8301: Pull request #6630 synchronize by luisacicolini
January 13, 2025 16:24 39s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:24 39s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] Check for stage0 changes #8300: Pull request #6630 opened by luisacicolini
January 13, 2025 16:20 44s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:20 44s
feat: implement basic async IO with timers Check for stage0 changes #8299: Pull request #6505 synchronize by hargoniX
January 13, 2025 16:16 35s ft-async
ft-async
January 13, 2025 16:16 35s
Check for stage0 changes Check for stage0 changes #8298: Merge group checks requested
January 13, 2025 16:00 38s
January 13, 2025 16:00 38s
Check for stage0 changes Check for stage0 changes #8297: Merge group checks requested
January 13, 2025 15:59 42s
January 13, 2025 15:59 42s
feat: implement basic async IO with timers Check for stage0 changes #8296: Pull request #6505 synchronize by hargoniX
January 13, 2025 15:14 36s ft-async
ft-async
January 13, 2025 15:14 36s
feat: Draft of alter/modify lemmas Check for stage0 changes #8295: Pull request #6620 synchronize by datokrat
January 13, 2025 15:11 33s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 15:11 33s
fix: Windows stage0 linking Check for stage0 changes #8294: Pull request #6622 synchronize by Kha
January 13, 2025 15:08 36s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 15:08 36s
feat: Draft of alter/modify lemmas Check for stage0 changes #8293: Pull request #6620 synchronize by datokrat
January 13, 2025 15:07 35s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 15:07 35s
feat: implement basic async IO with timers Check for stage0 changes #8292: Pull request #6505 synchronize by hargoniX
January 13, 2025 15:07 42s ft-async
ft-async
January 13, 2025 15:07 42s
feat: Draft of alter/modify lemmas Check for stage0 changes #8291: Pull request #6620 synchronize by datokrat
January 13, 2025 15:04 38s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 15:04 38s
fix: Windows stage0 linking Check for stage0 changes #8290: Pull request #6622 synchronize by hargoniX
January 13, 2025 14:56 39s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 14:56 39s
feat: Draft of alter/modify lemmas Check for stage0 changes #8289: Pull request #6620 synchronize by datokrat
January 13, 2025 14:53 34s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 14:53 34s
fix: Windows stage0 linking Check for stage0 changes #8288: Pull request #6622 synchronize by hargoniX
January 13, 2025 14:39 39s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 14:39 39s
Check for stage0 changes Check for stage0 changes #8287: Merge group checks requested
January 13, 2025 14:33 35s
January 13, 2025 14:33 35s