Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
12,813 workflow run results
12,813 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: prevent addPPExplicitToExposeDiff from assigning metavariables… CI #23449: Commit 1437033 pushed by github-merge-queue bot
October 28, 2024 23:16 22m 31s master
master
October 28, 2024 23:16 22m 31s
feat: update toolchain on lake update CI #23448: Pull request #5684 synchronize by tydeu
October 28, 2024 23:02 1h 9m 44s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 28, 2024 23:02 1h 9m 44s
CI CI #23447: Merge group checks requested
October 28, 2024 22:51 23m 57s
October 28, 2024 22:51 23m 57s
feat: accurate binder names in signatures (like in output of #check) CI #23446: Pull request #5827 synchronize by kmill
October 28, 2024 22:39 13m 46s kmill:fix_5810
kmill:fix_5810
October 28, 2024 22:39 13m 46s
fix: let simp arguments elaborate with error recovery (#5863) CI #23445: Commit b308f2b pushed by github-merge-queue bot
October 28, 2024 22:11 26m 0s master
master
October 28, 2024 22:11 26m 0s
fix: remove withoutRecover from apply elaboration (#5862) CI #23444: Commit 9eded87 pushed by github-merge-queue bot
October 28, 2024 21:52 19m 20s master
master
October 28, 2024 21:52 19m 20s
CI CI #23443: Merge group checks requested
October 28, 2024 21:39 32m 3s
October 28, 2024 21:39 32m 3s
feat: elaborate theorem bodies in parallel CI #23442: Pull request #5864 synchronize by Kha
October 28, 2024 21:31 6h 1m 58s Kha:async-proofs
Kha:async-proofs
October 28, 2024 21:31 6h 1m 58s
CI CI #23441: Merge group checks requested
October 28, 2024 21:27 24m 50s
October 28, 2024 21:27 24m 50s
fix: let simp arguments elaborate with error recovery CI #23440: Pull request #5863 synchronize by kmill
October 28, 2024 21:24 14m 35s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 21:24 14m 35s
feat: improved calc error messages (#5719) CI #23439: Commit 19bebfc pushed by github-merge-queue bot
October 28, 2024 21:03 25m 12s master
master
October 28, 2024 21:03 25m 12s
CI CI #23438: Merge group checks requested
October 28, 2024 20:39 24m 23s
October 28, 2024 20:39 24m 23s
feat: improved calc error messages CI #23437: Pull request #5719 synchronize by kmill
October 28, 2024 20:22 13m 14s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:22 13m 14s
feat: elaborate theorem bodies in parallel CI #23436: Pull request #5864 synchronize by Kha
October 28, 2024 20:10 20m 31s Kha:async-proofs
Kha:async-proofs
October 28, 2024 20:10 20m 31s
feat: elaborate theorem bodies in parallel CI #23435: Pull request #5864 synchronize by Kha
October 28, 2024 18:52 16m 38s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:52 16m 38s
feat: elaborate theorem bodies in parallel CI #23434: Pull request #5864 synchronize by Kha
October 28, 2024 18:13 39m 57s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:13 39m 57s
feat: improved calc error messages CI #23433: Pull request #5719 synchronize by kmill
October 28, 2024 18:07 29m 2s kmill:fix_4318
kmill:fix_4318
October 28, 2024 18:07 29m 2s
feat: elaborate theorem bodies in parallel CI #23432: Pull request #5864 synchronize by Kha
October 28, 2024 17:04 1h 8m 37s Kha:async-proofs
Kha:async-proofs
October 28, 2024 17:04 1h 8m 37s
feat: elaborate theorem bodies in parallel CI #23431: Pull request #5864 synchronize by Kha
October 28, 2024 17:04 34s Kha:async-proofs
Kha:async-proofs
October 28, 2024 17:04 34s
feat: support all the SMTLIB BitVec divison/remainder operations in b… CI #23430: Commit c57d054 pushed by github-merge-queue bot
October 28, 2024 17:00 26m 36s master
master
October 28, 2024 17:00 26m 36s
fix: let simp arguments elaborate with error recovery CI #23429: Pull request #5863 synchronize by kmill
October 28, 2024 16:59 13m 33s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 16:59 13m 33s
feat: attribute [simp ←] CI #23428: Pull request #5870 synchronize by nomeata
October 28, 2024 16:58 16m 40s joachim/simp-attrib-modifiers
joachim/simp-attrib-modifiers
October 28, 2024 16:58 16m 40s
fix: let simp arguments elaborate with error recovery CI #23427: Pull request #5863 synchronize by kmill
October 28, 2024 16:58 1m 15s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 16:58 1m 15s
feat: attribute [simp ←] CI #23426: Pull request #5870 synchronize by nomeata
October 28, 2024 16:38 16m 31s joachim/simp-attrib-modifiers
joachim/simp-attrib-modifiers
October 28, 2024 16:38 16m 31s
CI CI #23425: Merge group checks requested
October 28, 2024 16:37 22m 49s
October 28, 2024 16:37 22m 49s