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
1,006 workflow run results
1,006 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: faster Nat.repr implementation in C Check for modules that should use `prelude` #1006: Pull request #3876 synchronize by nomeata
April 11, 2024 21:47 16s joachim/nat.toString
joachim/nat.toString
April 11, 2024 21:47 16s
doc: docstrings for Alternative Check for modules that should use `prelude` #1005: Pull request #3860 synchronize by nomeata
April 11, 2024 16:56 12s joachim/docs-alternative
joachim/docs-alternative
April 11, 2024 16:56 12s
doc: docstrings for List.head/tail/getLast variants Check for modules that should use `prelude` #1004: Pull request #3864 synchronize by nomeata
April 11, 2024 16:55 13s joachim/docs-head
joachim/docs-head
April 11, 2024 16:55 13s
chore: use compareLex in lexOrd Check for modules that should use `prelude` #1003: Pull request #3882 opened by digama0
April 11, 2024 16:05 17s digama0:lexOrd
digama0:lexOrd
April 11, 2024 16:05 17s
perf: faster Nat.repr implementation in C Check for modules that should use `prelude` #1002: Pull request #3876 synchronize by nomeata
April 11, 2024 14:01 21s joachim/nat.toString
joachim/nat.toString
April 11, 2024 14:01 21s
perf: fix linearity issue in insertIfNew Check for modules that should use `prelude` #1001: Pull request #3881 opened by hargoniX
April 11, 2024 12:36 15s insertIf-linear
insertIf-linear
April 11, 2024 12:36 15s
feat: add BitVec Int add & mul lemmas Check for modules that should use `prelude` #1000: Pull request #3880 synchronize by joehendrix
April 11, 2024 12:35 16s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:35 16s
feat: add BitVec Int add & mul lemmas Check for modules that should use `prelude` #999: Pull request #3880 opened by joehendrix
April 11, 2024 12:08 19s bitvec_int_add_mul_lemmas
bitvec_int_add_mul_lemmas
April 11, 2024 12:08 19s
doc: describe all simp configuration options Check for modules that should use `prelude` #998: Pull request #3870 synchronize by kmill
April 11, 2024 12:03 16s kmill:doc_simp_config
kmill:doc_simp_config
April 11, 2024 12:03 16s
doc: Leo-Henrik retreat doc Check for modules that should use `prelude` #997: Pull request #3869 synchronize by hargoniX
April 11, 2024 07:32 13s leo-henrik-doc
leo-henrik-doc
April 11, 2024 07:32 13s
doc: docstrings for List.head/tail/getLast variants Check for modules that should use `prelude` #996: Pull request #3864 synchronize by nomeata
April 11, 2024 05:48 12s joachim/docs-head
joachim/docs-head
April 11, 2024 05:48 12s
doc: docstrings for List.mapM and friends Check for modules that should use `prelude` #995: Pull request #3867 synchronize by nomeata
April 11, 2024 05:46 14s joachim/docs-mapM
joachim/docs-mapM
April 11, 2024 05:46 14s
perf: faster Nat.repr implementation in C Check for modules that should use `prelude` #994: Pull request #3876 synchronize by nomeata
April 11, 2024 05:43 12s joachim/nat.toString
joachim/nat.toString
April 11, 2024 05:43 12s
doc: docstrings for Alternative Check for modules that should use `prelude` #993: Pull request #3860 synchronize by nomeata
April 11, 2024 05:40 13s joachim/docs-alternative
joachim/docs-alternative
April 11, 2024 05:40 13s
doc: docstrings for Alternative Check for modules that should use `prelude` #992: Pull request #3860 synchronize by nomeata
April 11, 2024 05:37 12s joachim/docs-alternative
joachim/docs-alternative
April 11, 2024 05:37 12s
doc: docstrings for Alternative Check for modules that should use `prelude` #991: Pull request #3860 synchronize by nomeata
April 11, 2024 05:36 11s joachim/docs-alternative
joachim/docs-alternative
April 11, 2024 05:36 11s
doc: docstrings for Alternative Check for modules that should use `prelude` #990: Pull request #3860 synchronize by nomeata
April 11, 2024 05:36 12s joachim/docs-alternative
joachim/docs-alternative
April 11, 2024 05:36 12s
chore: update CODEOWNERS Check for modules that should use `prelude` #989: Pull request #3878 opened by kim-em
April 11, 2024 02:55 13s digama_codeowners
digama_codeowners
April 11, 2024 02:55 13s
feat: binary recursive implementation of List.mapA Check for modules that should use `prelude` #988: Pull request #3877 synchronize by digama0
April 11, 2024 02:41 12s digama0:mapA_brec
digama0:mapA_brec
April 11, 2024 02:41 12s
feat: binary recursive implementation of List.mapA Check for modules that should use `prelude` #987: Pull request #3877 opened by digama0
April 11, 2024 01:05 16s digama0:mapA_brec
digama0:mapA_brec
April 11, 2024 01:05 16s
perf: faster Nat.repr implementation in C Check for modules that should use `prelude` #986: Pull request #3876 opened by nomeata
April 10, 2024 21:42 13s joachim/nat.toString
joachim/nat.toString
April 10, 2024 21:42 13s
feat: omega: more helpful error messages Check for modules that should use `prelude` #985: Pull request #3847 synchronize by nomeata
April 10, 2024 21:02 14s joachim/omega-error
joachim/omega-error
April 10, 2024 21:02 14s
doc: docstrings for List.mapM and friends Check for modules that should use `prelude` #984: Pull request #3867 synchronize by nomeata
April 10, 2024 17:31 14s joachim/docs-mapM
joachim/docs-mapM
April 10, 2024 17:31 14s
refactor: Canonicalizer: run getFunInfo on expression, not key Check for modules that should use `prelude` #983: Pull request #3875 opened by nomeata
April 10, 2024 16:58 14s joachim/canonical-getFunInfo
joachim/canonical-getFunInfo
April 10, 2024 16:58 14s
doc: docstrings for some Fin definitions Check for modules that should use `prelude` #982: Pull request #3858 synchronize by nomeata
April 10, 2024 16:44 13s joachim/docs-fin
joachim/docs-fin
April 10, 2024 16:44 13s