Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec comparison lemmas to bv_normalize (#6799) CI #27319: Commit c7c1e09 pushed by github-merge-queue bot
January 28, 2025 09:15 26m 45s master
master
January 28, 2025 09:15 26m 45s
feat: add SMT-LIB overflow on addition for bitvectors (uadd_overflow,sadd_overflow, uadd_overflow_eq,sadd_overflow_eq) and support theorems CI #27318: Pull request #6628 synchronize by luisacicolini
January 28, 2025 09:05 17m 17s opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 28, 2025 09:05 17m 17s
chore: temporarily disable async in server CI #27317: Pull request #6813 opened by Kha
January 28, 2025 09:02 19m 6s Kha:push-kwrqtpvzrqtv
Kha:push-kwrqtpvzrqtv
January 28, 2025 09:02 19m 6s
feat: add BitVec.(getMsbD, msb)_replicate, replicate_one CI #27316: Pull request #6326 synchronize by luisacicolini
January 28, 2025 08:51 18m 21s opencompl:msb-replicate
opencompl:msb-replicate
January 28, 2025 08:51 18m 21s
CI CI #27315: Merge group checks requested
January 28, 2025 08:48 26m 59s
January 28, 2025 08:48 26m 59s
CI CI #27314: Scheduled
January 28, 2025 07:04 1h 40m 10s master
master
January 28, 2025 07:04 1h 40m 10s
chore: remove unnecessary simp priorities CI #27313: Pull request #6812 opened by kim-em
January 28, 2025 06:49 19m 13s rm_simp_priorities
rm_simp_priorities
January 28, 2025 06:49 19m 13s
feat: allow simp priority explanations CI #27312: Pull request #6811 opened by kim-em
January 28, 2025 05:59 18m 39s simp_priority_explanations
simp_priority_explanations
January 28, 2025 05:59 18m 39s
feat: add grind? (#6810) CI #27311: Commit 20c6165 pushed by github-merge-queue bot
January 28, 2025 04:43 24m 15s master
master
January 28, 2025 04:43 24m 15s
feat: rename List.enum(From) to List.zipIdx, and Array/Vector.zipWithIndex to zipIdx CI #27310: Pull request #6800 synchronize by kim-em
January 28, 2025 04:22 14m 50s zipIdx
zipIdx
January 28, 2025 04:22 14m 50s
CI CI #27309: Merge group checks requested
January 28, 2025 04:17 25m 45s
January 28, 2025 04:17 25m 45s
feat: rename List.enum(From) to List.zipIdx, and Array/Vector.zipWithIndex to zipIdx CI #27308: Pull request #6800 synchronize by kim-em
January 28, 2025 04:17 5m 49s zipIdx
zipIdx
January 28, 2025 04:17 5m 49s
feat: add grind? CI #27307: Pull request #6810 opened by leodemoura
January 28, 2025 03:58 19m 8s grind_trace_step2
grind_trace_step2
January 28, 2025 03:58 19m 8s
feat: rename List.enum(From) to List.zipIdx, and Array/Vector.zipWithIndex to zipIdx CI #27306: Pull request #6800 synchronize by kim-em
January 28, 2025 03:35 18m 7s zipIdx
zipIdx
January 28, 2025 03:35 18m 7s
feat: add Fin.ofNat'_zero (#6806) CI #27305: Commit 104b351 pushed by github-merge-queue bot
January 28, 2025 02:33 27m 32s master
master
January 28, 2025 02:33 27m 32s
feat: add LawfulMonad helper simp lemmas (#6805) CI #27304: Commit d8fcfea pushed by github-merge-queue bot
January 28, 2025 02:29 4m 28s master
master
January 28, 2025 02:29 4m 28s
refactor: lake: deprecate -U (#6798) CI #27303: Commit 5f0fea6 pushed by github-merge-queue bot
January 28, 2025 02:20 9m 29s master
master
January 28, 2025 02:20 9m 29s
feat: lake query (#6323) CI #27302: Commit 3e54597 pushed by github-merge-queue bot
January 28, 2025 02:09 10m 50s master
master
January 28, 2025 02:09 10m 50s
chore: don't export Trans.trans CI #27301: Pull request #6809 opened by kim-em
January 28, 2025 02:02 26m 35s dont_export_trans_trans
dont_export_trans_trans
January 28, 2025 02:02 26m 35s
CI CI #27300: Merge group checks requested
January 28, 2025 02:00 32m 48s
January 28, 2025 02:00 32m 48s
CI CI #27299: Merge group checks requested
January 28, 2025 02:00 28m 43s
January 28, 2025 02:00 28m 43s
CI CI #27298: Merge group checks requested
January 28, 2025 02:00 25m 28s
January 28, 2025 02:00 25m 28s
CI CI #27297: Merge group checks requested
January 28, 2025 01:55 24m 47s
January 28, 2025 01:55 24m 47s
CI CI #27296: Merge group checks requested
January 28, 2025 01:43 26m 7s
January 28, 2025 01:43 26m 7s
chore: two BitVec lemmas that help simp confluence (#6807) CI #27295: Commit eb1c9b9 pushed by github-merge-queue bot
January 28, 2025 01:38 26m 41s master
master
January 28, 2025 01:38 26m 41s