Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
16,387 workflow runs
16,387 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: partial_fixpoint: partial functions with equations CI #26571: Pull request #6355 synchronize by nomeata
January 13, 2025 19:31 20m 21s joachim/tailrec
joachim/tailrec
January 13, 2025 19:31 20m 21s
chore: remove functions for compiling decls from Environment (#6600) CI #26570: Commit 85560da pushed by github-merge-queue bot
January 13, 2025 19:21 26m 31s master
master
January 13, 2025 19:21 26m 31s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs CI #26569: Pull request #6631 synchronize by tydeu
January 13, 2025 18:53 23m 48s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 18:53 23m 48s
CI CI #26568: Merge group checks requested
January 13, 2025 18:51 30m 2s
January 13, 2025 18:51 30m 2s
feat: implement basic async IO with timers (#6505) CI #26567: Commit e6a6437 pushed by github-merge-queue bot
January 13, 2025 18:38 31m 5s master
master
January 13, 2025 18:38 31m 5s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] CI #26566: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:15 20m 22s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:15 20m 22s
CI CI #26565: Merge group checks requested
January 13, 2025 18:11 27m 11s
January 13, 2025 18:11 27m 11s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] CI #26564: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:10 5m 52s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:10 5m 52s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] CI #26563: Pull request #6630 synchronize by luisacicolini
January 13, 2025 18:00 10m 20s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 18:00 10m 20s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] CI #26562: Pull request #6630 synchronize by luisacicolini
January 13, 2025 17:44 16m 40s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 17:44 16m 40s
feat: implement basic async IO with timers CI #26561: Pull request #6505 synchronize by hargoniX
January 13, 2025 16:58 1h 9m 0s ft-async
ft-async
January 13, 2025 16:58 1h 9m 0s
feat: lean --src-deps (#6427) CI #26560: Commit 30ba383 pushed by github-merge-queue bot
January 13, 2025 16:38 29m 31s master
master
January 13, 2025 16:38 29m 31s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs CI #26559: Pull request #6631 opened by tydeu
January 13, 2025 16:31 19m 58s tydeu:lake/macosx-shared-lib
tydeu:lake/macosx-shared-lib
January 13, 2025 16:31 19m 58s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] CI #26558: Pull request #6630 synchronize by luisacicolini
January 13, 2025 16:24 21m 58s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:24 21m 58s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib, shiftLeft_and_distrib, testBit_mul_two_pow,bitwise_mul_two_pow, shiftLeft_bitwise_distrib] CI #26557: Pull request #6630 opened by luisacicolini
January 13, 2025 16:20 4m 1s opencompl:nat-shiftleft-distrib-s
opencompl:nat-shiftleft-distrib-s
January 13, 2025 16:20 4m 1s
feat: implement basic async IO with timers CI #26556: Pull request #6505 synchronize by hargoniX
January 13, 2025 16:16 42m 19s ft-async
ft-async
January 13, 2025 16:16 42m 19s
CI CI #26555: Merge group checks requested
January 13, 2025 16:00 30m 28s
January 13, 2025 16:00 30m 28s
CI CI #26554: Merge group checks requested
January 13, 2025 15:59 1m 13s
January 13, 2025 15:59 1m 13s
feat: implement basic async IO with timers CI #26553: Pull request #6505 synchronize by hargoniX
January 13, 2025 15:14 1h 2m 36s ft-async
ft-async
January 13, 2025 15:14 1h 2m 36s
feat: Draft of alter/modify lemmas CI #26552: Pull request #6620 synchronize by datokrat
January 13, 2025 15:11 16m 27s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 15:11 16m 27s
fix: Windows stage0 linking CI #26551: Pull request #6622 synchronize by Kha
January 13, 2025 15:08 1h 6m 46s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 15:08 1h 6m 46s
feat: Draft of alter/modify lemmas CI #26550: Pull request #6620 synchronize by datokrat
January 13, 2025 15:07 4m 3s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 15:07 4m 3s
feat: implement basic async IO with timers CI #26549: Pull request #6505 synchronize by hargoniX
January 13, 2025 15:07 7m 43s ft-async
ft-async
January 13, 2025 15:07 7m 43s
feat: UIntX.toBitVec lemmas (#6625) CI #26548: Commit 734fca7 pushed by github-merge-queue bot
January 13, 2025 15:04 31m 35s master
master
January 13, 2025 15:04 31m 35s
feat: Draft of alter/modify lemmas CI #26547: Pull request #6620 synchronize by datokrat
January 13, 2025 15:04 3m 55s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 15:04 3m 55s