Skip to content

Actions: leanprover/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.yml
7,478 workflow runs
7,478 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check for stage0 changes Check for stage0 changes #7482: Merge group checks requested
December 11, 2024 05:03 37s
December 11, 2024 05:03 37s
Check for stage0 changes Check for stage0 changes #7481: Merge group checks requested
December 11, 2024 04:10 41s
December 11, 2024 04:10 41s
Check for stage0 changes Check for stage0 changes #7480: Merge group checks requested
December 11, 2024 03:52 36s
December 11, 2024 03:52 36s
feat: lemmas about indexing and membership for Vector Check for stage0 changes #7479: Pull request #6367 opened by kim-em
December 11, 2024 03:32 43s vector_lemmas2
vector_lemmas2
December 11, 2024 03:32 43s
Check for stage0 changes Check for stage0 changes #7478: Merge group checks requested
December 11, 2024 02:56 37s
December 11, 2024 02:56 37s
feat: add Float32 support Check for stage0 changes #7477: Pull request #6366 opened by leodemoura
December 11, 2024 02:33 37s float32_activate
float32_activate
December 11, 2024 02:33 37s
fix: add missing category fields to Lean.Firefox.FrameTable Check for stage0 changes #7476: Pull request #6363 synchronize by eric-wieser
December 11, 2024 01:50 40s eric-wieser:patch-31
eric-wieser:patch-31
December 11, 2024 01:50 40s
Check for stage0 changes Check for stage0 changes #7475: Merge group checks requested
December 11, 2024 01:45 40s
December 11, 2024 01:45 40s
feat: alignment of Array.set lemmas with List lemmas Check for stage0 changes #7474: Pull request #6365 synchronize by kim-em
December 11, 2024 01:25 44s array_set
array_set
December 11, 2024 01:25 44s
feat: alignment of Array.set lemmas with List lemmas Check for stage0 changes #7473: Pull request #6365 opened by kim-em
December 11, 2024 01:24 36s array_set
array_set
December 11, 2024 01:24 36s
chore: run Batteries linter on Lean Check for stage0 changes #7472: 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 stage0 changes #7471: Pull request #6363 synchronize by eric-wieser
December 10, 2024 23:00 39s eric-wieser:patch-31
eric-wieser:patch-31
December 10, 2024 23:00 39s
chore: run Batteries linter on Lean Check for stage0 changes #7470: 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 stage0 changes #7469: Pull request #6363 opened by eric-wieser
December 10, 2024 22:48 40s eric-wieser:patch-31
eric-wieser:patch-31
December 10, 2024 22:48 40s
feat: lean --error=kind Check for stage0 changes #7468: Pull request #6362 opened by tydeu
December 10, 2024 20:11 48s tydeu:error-overrides
tydeu:error-overrides
December 10, 2024 20:11 48s
feat: verify insertMany method for adding lists to HashMaps Check for stage0 changes #7467: Pull request #6211 synchronize by monsterkrampe
December 10, 2024 18:05 41s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 10, 2024 18:05 41s
Check for stage0 changes Check for stage0 changes #7466: Merge group checks requested
December 10, 2024 17:51 41s
December 10, 2024 17:51 41s
fix: when pretty printing constant names, do not use aliases from "non-API exports" Check for stage0 changes #7465: Pull request #5689 synchronize by kmill
December 10, 2024 17:26 1m 59s kmill:pp_name_non-api
kmill:pp_name_non-api
December 10, 2024 17:26 1m 59s
Check for stage0 changes Check for stage0 changes #7464: Merge group checks requested
December 10, 2024 15:23 40s
December 10, 2024 15:23 40s
refactor: ArgsPacker.unpack to return Option Check for stage0 changes #7463: Pull request #6359 synchronize by nomeata
December 10, 2024 15:07 1m 31s joachim/args-packer-refactor
joachim/args-packer-refactor
December 10, 2024 15:07 1m 31s
feat: Bitvec.{msb, toInt, toFin}_{sdiv, udiv} lemmas Check for stage0 changes #7462: Pull request #6360 synchronize by alexkeizer
December 10, 2024 14:53 48s opencompl:toInt_udiv_sdiv
opencompl:toInt_udiv_sdiv
December 10, 2024 14:53 48s
refactor: ArgsPacker.unpack to return Option Check for stage0 changes #7461: Pull request #6359 synchronize by nomeata
December 10, 2024 14:48 46s joachim/args-packer-refactor
joachim/args-packer-refactor
December 10, 2024 14:48 46s
Check for stage0 changes Check for stage0 changes #7460: Merge group checks requested
December 10, 2024 14:47 36s
December 10, 2024 14:47 36s
feat: Bitvec.{msb, toInt, toFin}_{sdiv, udiv} lemmas Check for stage0 changes #7459: Pull request #6360 opened by alexkeizer
December 10, 2024 14:45 41s opencompl:toInt_udiv_sdiv
opencompl:toInt_udiv_sdiv
December 10, 2024 14:45 41s
refactor: ArgsPacker.unpack to return Option Check for stage0 changes #7458: Pull request #6359 opened by nomeata
December 10, 2024 14:37 46s joachim/args-packer-refactor
joachim/args-packer-refactor
December 10, 2024 14:37 46s