Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
9,209 workflow runs
9,209 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: more robust server parallelism Check for copyright header #9188: Pull request #7087 synchronize by mhuisi
February 20, 2025 10:34 27s mhuisi:mhuisi/robust-language-server-parallelism
mhuisi:mhuisi/robust-language-server-parallelism
February 20, 2025 10:34 27s
feat: more robust server parallelism Check for copyright header #9187: Pull request #7087 synchronize by mhuisi
February 20, 2025 09:35 29s mhuisi:mhuisi/robust-language-server-parallelism
mhuisi:mhuisi/robust-language-server-parallelism
February 20, 2025 09:35 29s
feat: modify and alter functions for the tree map Check for copyright header #9186: Pull request #7118 synchronize by datokrat
February 20, 2025 09:31 34s paul/treemap-alter
paul/treemap-alter
February 20, 2025 09:31 34s
feat: modify and alter functions for the tree map Check for copyright header #9185: Pull request #7118 synchronize by datokrat
February 20, 2025 08:33 32s paul/treemap-alter
paul/treemap-alter
February 20, 2025 08:33 32s
feat: modify and alter functions for the tree map Check for copyright header #9184: Pull request #7118 synchronize by datokrat
February 20, 2025 08:20 28s paul/treemap-alter
paul/treemap-alter
February 20, 2025 08:20 28s
feat: modify and alter functions for the tree map Check for copyright header #9183: Pull request #7118 synchronize by datokrat
February 20, 2025 08:00 34s paul/treemap-alter
paul/treemap-alter
February 20, 2025 08:00 34s
feat: modify and alter functions for the tree map Check for copyright header #9182: Pull request #7118 synchronize by datokrat
February 20, 2025 07:56 28s paul/treemap-alter
paul/treemap-alter
February 20, 2025 07:56 28s
feat: strengthen Int.tdiv_eq_ediv Check for copyright header #9181: Pull request #7158 opened by kim-em
February 20, 2025 05:31 30s tdiv_eq_ediv
tdiv_eq_ediv
February 20, 2025 05:31 30s
feat: use Lake plugin for Lean config file Check for copyright header #9180: Pull request #7157 opened by tydeu
February 20, 2025 04:51 32s tydeu:lake/config-plugin
tydeu:lake/config-plugin
February 20, 2025 04:51 32s
feat: helper theorem for cutsat Check for copyright header #9179: Pull request #7156 opened by leodemoura
February 20, 2025 04:32 28s grind_cutsat_dvd_elim1
grind_cutsat_dvd_elim1
February 20, 2025 04:32 28s
feat: model search skeleton for cutsat Check for copyright header #9178: Pull request #7155 opened by leodemoura
February 20, 2025 03:16 40s grind_cutsat_search_assignment
grind_cutsat_search_assignment
February 20, 2025 03:16 40s
chore: complete variable name linting for Vector Check for copyright header #9177: Pull request #7154 synchronize by kim-em
February 20, 2025 02:15 28s list_linting4
list_linting4
February 20, 2025 02:15 28s
chore: complete variable name linting for Vector Check for copyright header #9176: Pull request #7154 opened by kim-em
February 20, 2025 01:57 32s list_linting4
list_linting4
February 20, 2025 01:57 32s
feat: run setup-file on lakefiles Check for copyright header #9175: Pull request #7153 opened by tydeu
February 19, 2025 23:39 27s tydeu:setup-lakefile
tydeu:setup-lakefile
February 19, 2025 23:39 27s
feat: infrastructure for inequalities constraints in cutsat Check for copyright header #9174: Pull request #7152 opened by leodemoura
February 19, 2025 22:48 30s grind_cutsat_step5
grind_cutsat_step5
February 19, 2025 22:48 30s
refactor: use more fun_induction in Init.Data.Int.Linear Check for copyright header #9173: Pull request #7142 synchronize by nomeata
February 19, 2025 22:30 31s joachim/funind-cond-used
joachim/funind-cond-used
February 19, 2025 22:30 31s
feat: staged CMake build with Lake as a plugin Check for copyright header #9172: Pull request #6929 synchronize by tydeu
February 19, 2025 22:12 29s tydeu:lake/cmake-plugin
tydeu:lake/cmake-plugin
February 19, 2025 22:12 29s
feat: FunInd to split on bif as well Check for copyright header #9171: Pull request #7140 synchronize by nomeata
February 19, 2025 19:20 30s joachim/funind-cond
joachim/funind-cond
February 19, 2025 19:20 30s
feat: FunInd to split on bif as well Check for copyright header #9170: Pull request #7140 synchronize by nomeata
February 19, 2025 19:20 31s joachim/funind-cond
joachim/funind-cond
February 19, 2025 19:20 31s
feat: FunInd to split on bif as well Check for copyright header #9169: Pull request #7140 synchronize by nomeata
February 19, 2025 18:33 29s joachim/funind-cond
joachim/funind-cond
February 19, 2025 18:33 29s
feat: FunInd to split on bif as well Check for copyright header #9168: Pull request #7140 synchronize by nomeata
February 19, 2025 18:32 35s joachim/funind-cond
joachim/funind-cond
February 19, 2025 18:32 35s
fix: clean up lib_uv requests Check for copyright header #9167: Pull request #7151 opened by eric-wieser
February 19, 2025 17:06 47s eric-wieser:patch-39
eric-wieser:patch-39
February 19, 2025 17:06 47s
feat: FunInd to split on bif as well Check for copyright header #9166: Pull request #7140 synchronize by nomeata
February 19, 2025 14:56 1m 4s joachim/funind-cond
joachim/funind-cond
February 19, 2025 14:56 1m 4s
feat: fast path for inlay hints Check for copyright header #9165: Pull request #7149 opened by mhuisi
February 19, 2025 13:58 38s mhuisi:mhuisi/inlay-hint-fast-path
mhuisi:mhuisi/inlay-hint-fast-path
February 19, 2025 13:58 38s
perf: optimize InfoTree.hasSorry Check for copyright header #9164: Pull request #7129 synchronize by Kha
February 19, 2025 12:48 32s Kha:push-oolqypovtqoo
Kha:push-oolqypovtqoo
February 19, 2025 12:48 32s