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

fix: bug at typeOccursCheck Check for modules that should use `prelude` #6295: Pull request #6104 synchronize by kim-em
November 19, 2024 05:38 14s typeOccursCheckIssue
typeOccursCheckIssue
November 19, 2024 05:38 14s
feat: @[deprecated] requires a replacement identifier or message, and a since field Check for modules that should use `prelude` #6294: Pull request #6112 synchronize by kim-em
November 19, 2024 05:36 15s stricter_deprecations
stricter_deprecations
November 19, 2024 05:36 15s
chore: generalize List.get_mem Check for modules that should use `prelude` #6293: Pull request #6095 synchronize by kim-em
November 19, 2024 05:24 16s eric-wieser:patch-27
eric-wieser:patch-27
November 19, 2024 05:24 16s
feat: display coercions with a type ascription Check for modules that should use `prelude` #6292: Pull request #6119 synchronize by tonyxty
November 19, 2024 02:21 17s tonyxty:master
tonyxty:master
November 19, 2024 02:21 17s
feat: @[deprecated] requires a replacement identifier or message, and a since field Check for modules that should use `prelude` #6291: Pull request #6112 synchronize by kim-em
November 19, 2024 01:57 13s stricter_deprecations
stricter_deprecations
November 19, 2024 01:57 13s
feat: @[deprecated] requires a replacement identifier or message, and a since field Check for modules that should use `prelude` #6290: Pull request #6112 synchronize by kim-em
November 19, 2024 01:55 16s stricter_deprecations
stricter_deprecations
November 19, 2024 01:55 16s
fix: propagate Simp.Config when reducing terms and checking definitional equality in simp Check for modules that should use `prelude` #6289: Pull request #6123 opened by leodemoura
November 19, 2024 01:50 12s zetaPropagation
zetaPropagation
November 19, 2024 01:50 12s
feat: @[deprecated] requires a replacement identifier or message, and a since field Check for modules that should use `prelude` #6288: Pull request #6112 synchronize by kim-em
November 19, 2024 01:45 15s stricter_deprecations
stricter_deprecations
November 19, 2024 01:45 15s
feat: @[deprecated] requires a replacement identifier or message, and a since field Check for modules that should use `prelude` #6287: Pull request #6112 synchronize by kim-em
November 19, 2024 01:43 17s stricter_deprecations
stricter_deprecations
November 19, 2024 01:43 17s
feat: display coercions with a type ascription Check for modules that should use `prelude` #6286: Pull request #6119 synchronize by tonyxty
November 19, 2024 01:30 16s tonyxty:master
tonyxty:master
November 19, 2024 01:30 16s
chore: fix apply? error reporting when out of heartbeats Check for modules that should use `prelude` #6285: Pull request #6121 opened by kim-em
November 19, 2024 00:36 13s apply_error_msg
apply_error_msg
November 19, 2024 00:36 13s
chore: generalize List.get_mem Check for modules that should use `prelude` #6284: Pull request #6095 synchronize by eric-wieser
November 18, 2024 20:45 18s eric-wieser:patch-27
eric-wieser:patch-27
November 18, 2024 20:45 18s
chore: generalize List.get_mem Check for modules that should use `prelude` #6283: Pull request #6095 synchronize by eric-wieser
November 18, 2024 19:30 16s eric-wieser:patch-27
eric-wieser:patch-27
November 18, 2024 19:30 16s
feat: add BitVec.(msb, getMsbD)_(rotateLeft, rotateRight) Check for modules that should use `prelude` #6282: Pull request #6120 synchronize by luisacicolini
November 18, 2024 17:00 14s opencompl:bitveg-getmsbd-rotate
opencompl:bitveg-getmsbd-rotate
November 18, 2024 17:00 14s
feat: add BitVec.(msb, getMsbD)_(rotateLeft, rotateRight) Check for modules that should use `prelude` #6281: Pull request #6120 opened by luisacicolini
November 18, 2024 15:13 23s opencompl:bitveg-getmsbd-rotate
opencompl:bitveg-getmsbd-rotate
November 18, 2024 15:13 23s
chore: generalize List.get_mem Check for modules that should use `prelude` #6280: Pull request #6095 synchronize by eric-wieser
November 18, 2024 15:04 18s eric-wieser:patch-27
eric-wieser:patch-27
November 18, 2024 15:04 18s
feat: display coercions with a type ascription Check for modules that should use `prelude` #6279: Pull request #6119 opened by tonyxty
November 18, 2024 14:08 5m 48s tonyxty:master
tonyxty:master
November 18, 2024 14:08 5m 48s
feat: attribute delaborators Check for modules that should use `prelude` #6278: Pull request #6115 synchronize by digama0
November 18, 2024 13:02 16s digama0:attribute_delab
digama0:attribute_delab
November 18, 2024 13:02 16s
feat: structure auto-completion & partial InfoTrees Check for modules that should use `prelude` #6277: Pull request #5835 synchronize by mhuisi
November 18, 2024 12:48 16s mhuisi:mhuisi/constructor-field-completion-2
mhuisi:mhuisi/constructor-field-completion-2
November 18, 2024 12:48 16s
feat: attribute delaborators Check for modules that should use `prelude` #6276: Pull request #6115 synchronize by digama0
November 18, 2024 12:01 16s digama0:attribute_delab
digama0:attribute_delab
November 18, 2024 12:01 16s
fix: delta-reduce constants with same name but different universes Check for modules that should use `prelude` #6275: Pull request #6100 synchronize by arthur-adjedj
November 18, 2024 11:18 14s arthur-adjedj:isdefeq_delta_univs
arthur-adjedj:isdefeq_delta_univs
November 18, 2024 11:18 14s
fix: handle reordered indices in structural recursion Check for modules that should use `prelude` #6274: Pull request #6116 synchronize by nomeata
November 18, 2024 11:12 16s joachim/issue6015
joachim/issue6015
November 18, 2024 11:12 16s
feat: structure auto-completion & partial InfoTrees Check for modules that should use `prelude` #6273: Pull request #5835 synchronize by mhuisi
November 18, 2024 10:20 27s mhuisi:mhuisi/constructor-field-completion-2
mhuisi:mhuisi/constructor-field-completion-2
November 18, 2024 10:20 27s
fix: handle reordered indices in structural recursion Check for modules that should use `prelude` #6272: Pull request #6116 synchronize by nomeata
November 18, 2024 10:17 16s joachim/issue6015
joachim/issue6015
November 18, 2024 10:17 16s
fix: handle reordered indices in structural recursion Check for modules that should use `prelude` #6271: Pull request #6116 synchronize by nomeata
November 18, 2024 10:17 13s joachim/issue6015
joachim/issue6015
November 18, 2024 10:17 13s