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
6,391 workflow run results
6,391 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: parity between structure instance notation and where notation Check for modules that should use `prelude` #6395: Pull request #6165 synchronize by kmill
November 21, 2024 22:53 14s kmill:struct_inst_field_args
kmill:struct_inst_field_args
November 21, 2024 22:53 14s
feat: parity between structure instance notation and where notation Check for modules that should use `prelude` #6394: Pull request #6165 opened by kmill
November 21, 2024 22:47 14s kmill:struct_inst_field_args
kmill:struct_inst_field_args
November 21, 2024 22:47 14s
perf: speed up reflection of if in bv_decide Check for modules that should use `prelude` #6393: Pull request #6162 opened by hargoniX
November 21, 2024 19:17 17s hbv/bv_decide_synth_instance_perf
hbv/bv_decide_synth_instance_perf
November 21, 2024 19:17 17s
fix: make sure whitespace is printed before tactic configuration Check for modules that should use `prelude` #6392: Pull request #6161 opened by kmill
November 21, 2024 18:59 14s kmill:pp_optconfig_space
kmill:pp_optconfig_space
November 21, 2024 18:59 14s
feat: Strict Ackermannization (bv_ac_eager) tactic for QF_UFBV Check for modules that should use `prelude` #6391: Pull request #5657 synchronize by bollu
November 21, 2024 18:50 14s opencompl:strict-ackermannization
opencompl:strict-ackermannization
November 21, 2024 18:50 14s
feat: add Nat.mod_eq_sub and fix dependencies from Nat.sub_mul_eq_mod_of_lt_of_le Check for modules that should use `prelude` #6390: Pull request #6160 opened by luisacicolini
November 21, 2024 18:43 12s opencompl:mod_eq_sub_of_le_of_lt
opencompl:mod_eq_sub_of_le_of_lt
November 21, 2024 18:43 12s
refactor: one more recursive structure Check for modules that should use `prelude` #6389: Pull request #6159 opened by Kha
November 21, 2024 18:08 16s Kha:push-mqqrkxmnzozt
Kha:push-mqqrkxmnzozt
November 21, 2024 18:08 16s
refactor: split Lean.Language.Basic Check for modules that should use `prelude` #6388: Pull request #6156 synchronize by Kha
November 21, 2024 17:51 13s Kha:push-mzrrusukwmln
Kha:push-mzrrusukwmln
November 21, 2024 17:51 13s
doc: adjust file reference in Data.Sum Check for modules that should use `prelude` #6387: Pull request #6158 opened by b-mehta
November 21, 2024 17:36 13s b-mehta:patch-3
b-mehta:patch-3
November 21, 2024 17:36 13s
feat: BitVec.toInt BitVec.signExtend Check for modules that should use `prelude` #6386: Pull request #6157 synchronize by bollu
November 21, 2024 17:26 12s opencompl:toInt_signExtend
opencompl:toInt_signExtend
November 21, 2024 17:26 12s
feat: BitVec.toInt BitVec.signExtend Check for modules that should use `prelude` #6385: Pull request #6157 opened by bollu
November 21, 2024 17:16 16s opencompl:toInt_signExtend
opencompl:toInt_signExtend
November 21, 2024 17:16 16s
refactor: split Lean.Language.Basic Check for modules that should use `prelude` #6384: Pull request #6156 opened by Kha
November 21, 2024 15:58 14s Kha:push-mzrrusukwmln
Kha:push-mzrrusukwmln
November 21, 2024 15:58 14s
feat: BitVec.toNat BitVec.signExtend Check for modules that should use `prelude` #6383: Pull request #6155 opened by bollu
November 21, 2024 15:47 14s opencompl:toNat_signExtend
opencompl:toNat_signExtend
November 21, 2024 15:47 14s
feat: BitVec.signExtend.{toNat, toInt} Check for modules that should use `prelude` #6382: Pull request #6038 synchronize by bollu
November 21, 2024 15:36 15s opencompl:signExtend
opencompl:signExtend
November 21, 2024 15:36 15s
feat: BitVec.signExtend.{toNat, toInt} Check for modules that should use `prelude` #6381: Pull request #6038 synchronize by bollu
November 21, 2024 15:33 19s opencompl:signExtend
opencompl:signExtend
November 21, 2024 15:33 19s
feat: BitVec.signExtend.{toNat, toInt} Check for modules that should use `prelude` #6380: Pull request #6038 synchronize by bollu
November 21, 2024 15:32 13s opencompl:signExtend
opencompl:signExtend
November 21, 2024 15:32 13s
feat: BitVec.toInt_abs Check for modules that should use `prelude` #6379: Pull request #6154 synchronize by bollu
November 21, 2024 13:56 18s opencompl:toInt_abs
opencompl:toInt_abs
November 21, 2024 13:56 18s
feat: BitVec.toInt_abs Check for modules that should use `prelude` #6378: Pull request #6154 synchronize by bollu
November 21, 2024 13:44 19s opencompl:toInt_abs
opencompl:toInt_abs
November 21, 2024 13:44 19s
feat: BitVec.toInt_abs Check for modules that should use `prelude` #6377: Pull request #6154 opened by bollu
November 21, 2024 12:40 16s opencompl:toInt_abs
opencompl:toInt_abs
November 21, 2024 12:40 16s
feat: BitVec.toInt_neg_eq_ite Check for modules that should use `prelude` #6376: Pull request #6153 opened by bollu
November 21, 2024 12:08 15s opencompl:toInt_neg_eq_ite
opencompl:toInt_neg_eq_ite
November 21, 2024 12:08 15s
doc: refine kernel code comments Check for modules that should use `prelude` #6375: Pull request #6150 synchronize by nomeata
November 21, 2024 10:57 13s joachim/kernel-comments2
joachim/kernel-comments2
November 21, 2024 10:57 13s
fix: add cmake COPY_CADICAL option to allow turning off install copy Check for modules that should use `prelude` #6374: Pull request #5931 synchronize by juhp
November 21, 2024 10:43 17s juhp:COPY_CADICAL
juhp:COPY_CADICAL
November 21, 2024 10:43 17s
feat: BitVec.toInt_[or|and|xor|not] Check for modules that should use `prelude` #6373: Pull request #6151 synchronize by tobiasgrosser
November 21, 2024 10:31 13s opencompl:opencompl
opencompl:opencompl
November 21, 2024 10:31 13s
feat: BitVec.toInt_[or|and|xor|not] Check for modules that should use `prelude` #6372: Pull request #6151 opened by tobiasgrosser
November 21, 2024 10:30 26s opencompl:opencompl
opencompl:opencompl
November 21, 2024 10:30 26s
doc: refine kernel code comments Check for modules that should use `prelude` #6371: Pull request #6150 opened by nomeata
November 21, 2024 10:29 17s joachim/kernel-comments2
joachim/kernel-comments2
November 21, 2024 10:29 17s