Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
15,855 workflow runs
15,855 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #25505: Scheduled
December 11, 2024 07:04 In progress master
master
December 11, 2024 07:04 In progress
chore: DecidableRel allows a heterogeneous relation (#6341) CI #25504: Commit 8709ca3 pushed by github-merge-queue bot
December 11, 2024 05:27 23m 55s master
master
December 11, 2024 05:27 23m 55s
CI CI #25503: Merge group checks requested
December 11, 2024 05:03 23m 53s
December 11, 2024 05:03 23m 53s
feat: do not propagate pretty printer errors through messages (#3696) CI #25502: Commit 19fb1fb pushed by github-merge-queue bot
December 11, 2024 04:35 34m 20s master
master
December 11, 2024 04:35 34m 20s
feat: lemmas about indexing and membership for Vector (#6367) CI #25501: Commit cb31ddc pushed by github-merge-queue bot
December 11, 2024 04:16 19m 32s master
master
December 11, 2024 04:16 19m 32s
CI CI #25500: Merge group checks requested
December 11, 2024 04:10 24m 56s
December 11, 2024 04:10 24m 56s
CI CI #25499: Merge group checks requested
December 11, 2024 03:52 23m 52s
December 11, 2024 03:52 23m 52s
feat: lemmas about indexing and membership for Vector CI #25498: Pull request #6367 opened by kim-em
December 11, 2024 03:32 19m 9s vector_lemmas2
vector_lemmas2
December 11, 2024 03:32 19m 9s
feat: add Float32 support (#6366) CI #25497: Commit 633c825 pushed by github-merge-queue bot
December 11, 2024 03:20 23m 48s master
master
December 11, 2024 03:20 23m 48s
CI CI #25496: Merge group checks requested
December 11, 2024 02:56 24m 10s
December 11, 2024 02:56 24m 10s
feat: add Float32 support CI #25495: Pull request #6366 opened by leodemoura
December 11, 2024 02:33 22m 42s float32_activate
float32_activate
December 11, 2024 02:33 22m 42s
feat: alignment of Array.set lemmas with List lemmas (#6365) CI #25494: Commit c83ce02 pushed by github-merge-queue bot
December 11, 2024 02:10 32m 22s master
master
December 11, 2024 02:10 32m 22s
fix: add missing category fields to Lean.Firefox.FrameTable CI #25493: Pull request #6363 synchronize by eric-wieser
December 11, 2024 01:50 20m 5s eric-wieser:patch-31
eric-wieser:patch-31
December 11, 2024 01:50 20m 5s
CI CI #25492: Merge group checks requested
December 11, 2024 01:45 24m 42s
December 11, 2024 01:45 24m 42s
feat: alignment of Array.set lemmas with List lemmas CI #25491: Pull request #6365 synchronize by kim-em
December 11, 2024 01:25 19m 34s array_set
array_set
December 11, 2024 01:25 19m 34s
feat: alignment of Array.set lemmas with List lemmas CI #25490: Pull request #6365 opened by kim-em
December 11, 2024 01:24 45s array_set
array_set
December 11, 2024 01:24 45s
chore: run Batteries linter on Lean CI #25489: Pull request #6364 synchronize by kim-em
December 11, 2024 00:40 10m 29s linting
linting
December 11, 2024 00:40 10m 29s
fix: add missing category fields to Lean.Firefox.FrameTable CI #25488: Pull request #6363 synchronize by eric-wieser
December 10, 2024 23:00 13m 15s eric-wieser:patch-31
eric-wieser:patch-31
December 10, 2024 23:00 13m 15s
chore: run Batteries linter on Lean CI #25487: Pull request #6364 opened by kim-em
December 10, 2024 22:53 10m 13s linting
linting
December 10, 2024 22:53 10m 13s
fix: add missing category fields to Lean.Firefox.FrameTable CI #25486: Pull request #6363 opened by eric-wieser
December 10, 2024 22:48 10m 25s eric-wieser:patch-31
eric-wieser:patch-31
December 10, 2024 22:48 10m 25s
feat: lean --error=kind CI #25485: Pull request #6362 opened by tydeu
December 10, 2024 20:11 14m 7s tydeu:error-overrides
tydeu:error-overrides
December 10, 2024 20:11 14m 7s
fix: when pretty printing constant names, do not use aliases from "no… CI #25484: Commit cd909b0 pushed by github-merge-queue bot
December 10, 2024 18:17 25m 23s master
master
December 10, 2024 18:17 25m 23s
feat: verify insertMany method for adding lists to HashMaps CI #25483: Pull request #6211 synchronize by monsterkrampe
December 10, 2024 18:05 21m 1s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 10, 2024 18:05 21m 1s
CI CI #25482: Merge group checks requested
December 10, 2024 17:51 26m 3s
December 10, 2024 17:51 26m 3s
fix: when pretty printing constant names, do not use aliases from "non-API exports" CI #25481: Pull request #5689 synchronize by kmill
December 10, 2024 17:26 24m 8s kmill:pp_name_non-api
kmill:pp_name_non-api
December 10, 2024 17:26 24m 8s