Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
5,837 workflow run results
5,837 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: update toolchain on lake update Check for copyright header #5841: Pull request #5684 synchronize by tydeu
October 28, 2024 23:02 27s tydeu:lake/update-toolchain
tydeu:lake/update-toolchain
October 28, 2024 23:02 27s
feat: accurate binder names in signatures (like in output of #check) Check for copyright header #5840: Pull request #5827 synchronize by kmill
October 28, 2024 22:39 1m 43s kmill:fix_5810
kmill:fix_5810
October 28, 2024 22:39 1m 43s
feat: elaborate theorem bodies in parallel Check for copyright header #5839: Pull request #5864 synchronize by Kha
October 28, 2024 21:31 29s Kha:async-proofs
Kha:async-proofs
October 28, 2024 21:31 29s
fix: let simp arguments elaborate with error recovery Check for copyright header #5838: Pull request #5863 synchronize by kmill
October 28, 2024 21:24 1m 46s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 21:24 1m 46s
feat: improved calc error messages Check for copyright header #5837: Pull request #5719 synchronize by kmill
October 28, 2024 20:22 1m 42s kmill:fix_4318
kmill:fix_4318
October 28, 2024 20:22 1m 42s
feat: elaborate theorem bodies in parallel Check for copyright header #5836: Pull request #5864 synchronize by Kha
October 28, 2024 20:10 26s Kha:async-proofs
Kha:async-proofs
October 28, 2024 20:10 26s
feat: elaborate theorem bodies in parallel Check for copyright header #5835: Pull request #5864 synchronize by Kha
October 28, 2024 18:52 1m 26s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:52 1m 26s
feat: elaborate theorem bodies in parallel Check for copyright header #5834: Pull request #5864 synchronize by Kha
October 28, 2024 18:13 1m 42s Kha:async-proofs
Kha:async-proofs
October 28, 2024 18:13 1m 42s
feat: improved calc error messages Check for copyright header #5833: Pull request #5719 synchronize by kmill
October 28, 2024 18:07 26s kmill:fix_4318
kmill:fix_4318
October 28, 2024 18:07 26s
feat: elaborate theorem bodies in parallel Check for copyright header #5832: Pull request #5864 synchronize by Kha
October 28, 2024 17:04 1m 11s Kha:async-proofs
Kha:async-proofs
October 28, 2024 17:04 1m 11s
feat: elaborate theorem bodies in parallel Check for copyright header #5831: Pull request #5864 synchronize by Kha
October 28, 2024 17:04 1m 39s Kha:async-proofs
Kha:async-proofs
October 28, 2024 17:04 1m 39s
fix: let simp arguments elaborate with error recovery Check for copyright header #5830: Pull request #5863 synchronize by kmill
October 28, 2024 16:59 29s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 16:59 29s
feat: attribute [simp ←] Check for copyright header #5829: Pull request #5870 synchronize by nomeata
October 28, 2024 16:58 1m 15s joachim/simp-attrib-modifiers
joachim/simp-attrib-modifiers
October 28, 2024 16:58 1m 15s
fix: let simp arguments elaborate with error recovery Check for copyright header #5828: Pull request #5863 synchronize by kmill
October 28, 2024 16:58 27s kmill:simp_list_elab_ix
kmill:simp_list_elab_ix
October 28, 2024 16:58 27s
feat: attribute [simp ←] Check for copyright header #5827: Pull request #5870 synchronize by nomeata
October 28, 2024 16:38 40s joachim/simp-attrib-modifiers
joachim/simp-attrib-modifiers
October 28, 2024 16:38 40s
feat: attribute [simp ←] Check for copyright header #5826: Pull request #5870 opened by nomeata
October 28, 2024 16:26 29s joachim/simp-attrib-modifiers
joachim/simp-attrib-modifiers
October 28, 2024 16:26 29s
feat: add date and time functionality Check for copyright header #5825: Pull request #4904 synchronize by algebraic-dev
October 28, 2024 16:18 1m 48s algebraic-dev:master
algebraic-dev:master
October 28, 2024 16:18 1m 48s
feat: support all the SMTLIB BitVec divison/remainder operations in bv_decide Check for copyright header #5824: Pull request #5869 synchronize by hargoniX
October 28, 2024 16:17 30s hbv/bv_decide_smt
hbv/bv_decide_smt
October 28, 2024 16:17 30s
fix: remove withoutRecover from apply elaboration Check for copyright header #5823: Pull request #5862 synchronize by kmill
October 28, 2024 16:11 1m 12s kmill:fix_apply_elab_error
kmill:fix_apply_elab_error
October 28, 2024 16:11 1m 12s
feat: support all the SMTLIB BitVec divison/remainder operations in bv_decide Check for copyright header #5822: Pull request #5869 opened by hargoniX
October 28, 2024 15:59 27s hbv/bv_decide_smt
hbv/bv_decide_smt
October 28, 2024 15:59 27s
feat: add date and time functionality Check for copyright header #5821: Pull request #4904 synchronize by algebraic-dev
October 28, 2024 15:54 31s algebraic-dev:master
algebraic-dev:master
October 28, 2024 15:54 31s
feat: elaborate theorem bodies in parallel Check for copyright header #5820: Pull request #5864 synchronize by Kha
October 28, 2024 15:51 1m 34s Kha:async-proofs
Kha:async-proofs
October 28, 2024 15:51 1m 34s
feat: elaborate theorem bodies in parallel Check for copyright header #5819: Pull request #5864 synchronize by Kha
October 28, 2024 15:46 1m 26s Kha:async-proofs
Kha:async-proofs
October 28, 2024 15:46 1m 26s
feat: verify keys method on HashMaps Check for copyright header #5818: Pull request #5866 opened by monsterkrampe
October 28, 2024 15:19 32s monsterkrampe:hashmap-keys
monsterkrampe:hashmap-keys
October 28, 2024 15:19 32s
feat: add date and time functionality Check for copyright header #5817: Pull request #4904 synchronize by algebraic-dev
October 28, 2024 13:11 1m 46s algebraic-dev:master
algebraic-dev:master
October 28, 2024 13:11 1m 46s