Skip to content

Actions: leanprover/lean4

Actions

Check for modules that should use `prelude`

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-prelude.yml
5,682 workflow run results
5,682 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: update toolchain on lake update Check for modules that should use `prelude` #5686: Pull request #5684 synchronize by tydeu
October 28, 2024 23:02 1m 28s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 28, 2024 23:02 1m 28s
feat: accurate binder names in signatures (like in output of #check) Check for modules that should use `prelude` #5685: Pull request #5827 synchronize by kmill
October 28, 2024 22:39 1m 28s kmill:fix_5810
kmill:fix_5810
October 28, 2024 22:39 1m 28s
feat: elaborate theorem bodies in parallel Check for modules that should use `prelude` #5684: Pull request #5864 synchronize by Kha
October 28, 2024 21:31 12s Kha:async-proofs
Kha:async-proofs
October 28, 2024 21:31 12s
fix: let simp arguments elaborate with error recovery Check for modules that should use `prelude` #5683: Pull request #5863 synchronize by kmill
October 28, 2024 21:24 1m 27s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 21:24 1m 27s
feat: improved calc error messages Check for modules that should use `prelude` #5682: Pull request #5719 synchronize by kmill
October 28, 2024 20:22 12s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:22 12s
feat: elaborate theorem bodies in parallel Check for modules that should use `prelude` #5681: Pull request #5864 synchronize by Kha
October 28, 2024 20:10 1m 27s Kha:async-proofs
Kha:async-proofs
October 28, 2024 20:10 1m 27s
feat: elaborate theorem bodies in parallel Check for modules that should use `prelude` #5680: Pull request #5864 synchronize by Kha
October 28, 2024 18:52 11s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:52 11s
feat: elaborate theorem bodies in parallel Check for modules that should use `prelude` #5679: Pull request #5864 synchronize by Kha
October 28, 2024 18:13 1m 11s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:13 1m 11s
feat: improved calc error messages Check for modules that should use `prelude` #5678: Pull request #5719 synchronize by kmill
October 28, 2024 18:07 1m 27s kmill:fix_4318
kmill:fix_4318
October 28, 2024 18:07 1m 27s
feat: elaborate theorem bodies in parallel Check for modules that should use `prelude` #5677: Pull request #5864 synchronize by Kha
October 28, 2024 17:04 58s Kha:async-proofs
Kha:async-proofs
October 28, 2024 17:04 58s
feat: elaborate theorem bodies in parallel Check for modules that should use `prelude` #5676: Pull request #5864 synchronize by Kha
October 28, 2024 17:04 1m 27s Kha:async-proofs
Kha:async-proofs
October 28, 2024 17:04 1m 27s
fix: let simp arguments elaborate with error recovery Check for modules that should use `prelude` #5675: Pull request #5863 synchronize by kmill
October 28, 2024 16:59 16s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 16:59 16s
feat: attribute [simp ←] Check for modules that should use `prelude` #5674: Pull request #5870 synchronize by nomeata
October 28, 2024 16:58 57s joachim/simp-attrib-modifiers
joachim/simp-attrib-modifiers
October 28, 2024 16:58 57s
fix: let simp arguments elaborate with error recovery Check for modules that should use `prelude` #5673: Pull request #5863 synchronize by kmill
October 28, 2024 16:58 11s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 16:58 11s
feat: attribute [simp ←] Check for modules that should use `prelude` #5672: Pull request #5870 synchronize by nomeata
October 28, 2024 16:38 18s joachim/simp-attrib-modifiers
joachim/simp-attrib-modifiers
October 28, 2024 16:38 18s
feat: attribute [simp ←] Check for modules that should use `prelude` #5671: Pull request #5870 opened by nomeata
October 28, 2024 16:26 1m 53s joachim/simp-attrib-modifiers
joachim/simp-attrib-modifiers
October 28, 2024 16:26 1m 53s
feat: add date and time functionality Check for modules that should use `prelude` #5670: Pull request #4904 synchronize by algebraic-dev
October 28, 2024 16:18 13s algebraic-dev:master
algebraic-dev:master
October 28, 2024 16:18 13s
feat: support all the SMTLIB BitVec divison/remainder operations in bv_decide Check for modules that should use `prelude` #5669: Pull request #5869 synchronize by hargoniX
October 28, 2024 16:17 14s hbv/bv_decide_smt
hbv/bv_decide_smt
October 28, 2024 16:17 14s
fix: remove withoutRecover from apply elaboration Check for modules that should use `prelude` #5668: Pull request #5862 synchronize by kmill
October 28, 2024 16:11 1m 20s kmill:fix_apply_elab_error
kmill:fix_apply_elab_error
October 28, 2024 16:11 1m 20s
feat: support all the SMTLIB BitVec divison/remainder operations in bv_decide Check for modules that should use `prelude` #5667: Pull request #5869 opened by hargoniX
October 28, 2024 15:59 1m 31s hbv/bv_decide_smt
hbv/bv_decide_smt
October 28, 2024 15:59 1m 31s
feat: add date and time functionality Check for modules that should use `prelude` #5666: Pull request #4904 synchronize by algebraic-dev
October 28, 2024 15:54 1m 30s algebraic-dev:master
algebraic-dev:master
October 28, 2024 15:54 1m 30s
feat: elaborate theorem bodies in parallel Check for modules that should use `prelude` #5665: Pull request #5864 synchronize by Kha
October 28, 2024 15:51 15s Kha:async-proofs
Kha:async-proofs
October 28, 2024 15:51 15s
feat: elaborate theorem bodies in parallel Check for modules that should use `prelude` #5664: Pull request #5864 synchronize by Kha
October 28, 2024 15:46 1m 28s Kha:async-proofs
Kha:async-proofs
October 28, 2024 15:46 1m 28s
feat: verify keys method on HashMaps Check for modules that should use `prelude` #5663: Pull request #5866 opened by monsterkrampe
October 28, 2024 15:19 1m 35s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
October 28, 2024 15:19 1m 35s
feat: add date and time functionality Check for modules that should use `prelude` #5662: Pull request #4904 synchronize by algebraic-dev
October 28, 2024 13:11 1m 31s algebraic-dev:master
algebraic-dev:master
October 28, 2024 13:11 1m 31s