Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
7,067 workflow runs
7,067 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: lemmas about indexing and membership for Vector Check for copyright header #7071: Pull request #6367 opened by kim-em
December 11, 2024 03:32 37s vector_lemmas2
vector_lemmas2
December 11, 2024 03:32 37s
feat: add Float32 support Check for copyright header #7070: Pull request #6366 opened by leodemoura
December 11, 2024 02:33 34s float32_activate
float32_activate
December 11, 2024 02:33 34s
fix: add missing category fields to Lean.Firefox.FrameTable Check for copyright header #7069: Pull request #6363 synchronize by eric-wieser
December 11, 2024 01:50 38s eric-wieser:patch-31
eric-wieser:patch-31
December 11, 2024 01:50 38s
feat: alignment of Array.set lemmas with List lemmas Check for copyright header #7068: Pull request #6365 synchronize by kim-em
December 11, 2024 01:25 38s array_set
array_set
December 11, 2024 01:25 38s
feat: alignment of Array.set lemmas with List lemmas Check for copyright header #7067: Pull request #6365 opened by kim-em
December 11, 2024 01:24 39s array_set
array_set
December 11, 2024 01:24 39s
chore: run Batteries linter on Lean Check for copyright header #7066: Pull request #6364 synchronize by kim-em
December 11, 2024 00:40 38s linting
linting
December 11, 2024 00:40 38s
fix: add missing category fields to Lean.Firefox.FrameTable Check for copyright header #7065: Pull request #6363 synchronize by eric-wieser
December 10, 2024 23:00 38s eric-wieser:patch-31
eric-wieser:patch-31
December 10, 2024 23:00 38s
chore: run Batteries linter on Lean Check for copyright header #7064: Pull request #6364 opened by kim-em
December 10, 2024 22:53 42s linting
linting
December 10, 2024 22:53 42s
fix: add missing category fields to Lean.Firefox.FrameTable Check for copyright header #7063: Pull request #6363 opened by eric-wieser
December 10, 2024 22:48 38s eric-wieser:patch-31
eric-wieser:patch-31
December 10, 2024 22:48 38s
feat: lean --error=kind Check for copyright header #7062: Pull request #6362 opened by tydeu
December 10, 2024 20:11 44s tydeu:error-overrides
tydeu:error-overrides
December 10, 2024 20:11 44s
feat: verify insertMany method for adding lists to HashMaps Check for copyright header #7061: Pull request #6211 synchronize by monsterkrampe
December 10, 2024 18:05 37s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 10, 2024 18:05 37s
fix: when pretty printing constant names, do not use aliases from "non-API exports" Check for copyright header #7060: Pull request #5689 synchronize by kmill
December 10, 2024 17:26 1m 6s kmill:pp_name_non-api
kmill:pp_name_non-api
December 10, 2024 17:26 1m 6s
refactor: ArgsPacker.unpack to return Option Check for copyright header #7059: Pull request #6359 synchronize by nomeata
December 10, 2024 15:07 42s joachim/args-packer-refactor
joachim/args-packer-refactor
December 10, 2024 15:07 42s
feat: Bitvec.{msb, toInt, toFin}_{sdiv, udiv} lemmas Check for copyright header #7058: Pull request #6360 synchronize by alexkeizer
December 10, 2024 14:53 36s opencompl:toInt_udiv_sdiv
opencompl:toInt_udiv_sdiv
December 10, 2024 14:53 36s
refactor: ArgsPacker.unpack to return Option Check for copyright header #7057: Pull request #6359 synchronize by nomeata
December 10, 2024 14:48 39s joachim/args-packer-refactor
joachim/args-packer-refactor
December 10, 2024 14:48 39s
feat: Bitvec.{msb, toInt, toFin}_{sdiv, udiv} lemmas Check for copyright header #7056: Pull request #6360 opened by alexkeizer
December 10, 2024 14:45 37s opencompl:toInt_udiv_sdiv
opencompl:toInt_udiv_sdiv
December 10, 2024 14:45 37s
refactor: ArgsPacker.unpack to return Option Check for copyright header #7055: Pull request #6359 opened by nomeata
December 10, 2024 14:37 36s joachim/args-packer-refactor
joachim/args-packer-refactor
December 10, 2024 14:37 36s
refactor: elabWFRel to take names, not PreDefinition Check for copyright header #7054: Pull request #6358 opened by nomeata
December 10, 2024 14:31 39s joachim/wf-rel-refactor
joachim/wf-rel-refactor
December 10, 2024 14:31 39s
refactor: WF.EqnInfo.hasInduct Check for copyright header #7053: Pull request #6357 opened by nomeata
December 10, 2024 14:18 40s joachim/eqninfos-hasInduct
joachim/eqninfos-hasInduct
December 10, 2024 14:18 40s
refactor: make mkInhabitantFor error message configurable Check for copyright header #7052: Pull request #6356 opened by nomeata
December 10, 2024 14:12 4m 27s joachim/mkInhabitantFor-error
joachim/mkInhabitantFor-error
December 10, 2024 14:12 4m 27s
feat: partial functions with equations Check for copyright header #7051: Pull request #6355 synchronize by nomeata
December 10, 2024 14:10 6m 28s joachim/tailrec
joachim/tailrec
December 10, 2024 14:10 6m 28s
feat: importModules without loading environment extensions Check for copyright header #7050: Pull request #6325 synchronize by Kha
December 10, 2024 12:59 38s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 10, 2024 12:59 38s
feat: importModules without loading environment extensions Check for copyright header #7049: Pull request #6325 synchronize by Kha
December 10, 2024 12:55 38s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 10, 2024 12:55 38s
feat: importModules without loading environment extensions Check for copyright header #7048: Pull request #6325 synchronize by Kha
December 10, 2024 12:54 37s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 10, 2024 12:54 37s
feat: partial functions with equations Check for copyright header #7047: Pull request #6355 opened by nomeata
December 10, 2024 12:17 44s joachim/tailrec
joachim/tailrec
December 10, 2024 12:17 44s