Skip to content

Actions: leanprover/elan

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: assorted eager toolchain adjustments CI #339: Pull request #148 opened by Kha
December 5, 2024 15:54 14m 18s Kha:push-wkoryqsrtsnu
Kha:push-wkoryqsrtsnu
December 5, 2024 15:54 14m 18s
fix: toolchain overrides were not being resolved (#146) CI #338: Commit 5869e01 pushed by Kha
November 26, 2024 09:33 4m 50s eager-resolution-v6
eager-resolution-v6
November 26, 2024 09:33 4m 50s
fix: toolchain overrides were not being resolved (#146) CI #337: Commit 5869e01 pushed by Kha
November 26, 2024 09:32 5m 19s master
master
November 26, 2024 09:32 5m 19s
fix: toolchain overrides were not being resolved CI #336: Pull request #146 opened by Kha
November 26, 2024 09:29 3m 52s Kha:push-zvssmmkyzppx
Kha:push-zvssmmkyzppx
November 26, 2024 09:29 3m 52s
fix: do not resolve toolchains from files with --no-net (#145) CI #335: Commit 6eb7c25 pushed by Kha
November 26, 2024 08:53 2m 54s eager-resolution-v5
eager-resolution-v5
November 26, 2024 08:53 2m 54s
fix: do not resolve toolchains from files with --no-net (#145) CI #334: Commit 6eb7c25 pushed by Kha
November 25, 2024 17:47 4m 8s master
master
November 25, 2024 17:47 4m 8s
fix: do not resolve toolchains from files with --no-net CI #333: Pull request #145 opened by Kha
November 25, 2024 17:43 3m 49s Kha:push-tnyvqomlntnv
Kha:push-tnyvqomlntnv
November 25, 2024 17:43 3m 49s
chore: more unresolved dump-state output, do not resolve during overr… CI #332: Commit 99413ca pushed by Kha
November 25, 2024 08:51 14m 3s eager-resolution-v4
eager-resolution-v4
November 25, 2024 08:51 14m 3s
chore: more unresolved dump-state output, do not resolve during overr… CI #331: Commit 99413ca pushed by Kha
November 25, 2024 08:48 15m 10s master
master
November 25, 2024 08:48 15m 10s
chore: more unresolved dump-state output, do not resolve during override lookup CI #330: Pull request #143 synchronize by Kha
November 25, 2024 08:28 14m 54s Kha:push-yyunorqxwoqr
Kha:push-yyunorqxwoqr
November 25, 2024 08:28 14m 54s
fix: per-toolchain installation lock (#144) CI #329: Commit d7920ac pushed by Kha
November 25, 2024 07:56 14m 10s master
master
November 25, 2024 07:56 14m 10s
fix: per-toolchain installation lock CI #328: Pull request #144 synchronize by Kha
November 24, 2024 21:09 13m 44s Kha:push-svmxwoomzllm
Kha:push-svmxwoomzllm
November 24, 2024 21:09 13m 44s
fix: per-toolchain installation lock CI #327: Pull request #144 synchronize by Kha
November 23, 2024 21:11 11m 5s Kha:push-svmxwoomzllm
Kha:push-svmxwoomzllm
November 23, 2024 21:11 11m 5s
fix: per-toolchain installation lock CI #326: Pull request #144 synchronize by Kha
November 23, 2024 20:58 10m 57s Kha:push-svmxwoomzllm
Kha:push-svmxwoomzllm
November 23, 2024 20:58 10m 57s
fix: per-toolchain installation lock CI #325: Pull request #144 opened by Kha
November 23, 2024 20:57 11m 22s Kha:push-svmxwoomzllm
Kha:push-svmxwoomzllm
November 23, 2024 20:57 11m 22s
chore: more unresolved dump-state output, do not resolve during override lookup CI #324: Pull request #143 synchronize by Kha
November 23, 2024 20:33 11m 21s Kha:push-yyunorqxwoqr
Kha:push-yyunorqxwoqr
November 23, 2024 20:33 11m 21s
chore: more unresolved dump-state output, do not resolve during override lookup CI #323: Pull request #143 opened by Kha
November 23, 2024 20:29 12m 49s Kha:push-yyunorqxwoqr
Kha:push-yyunorqxwoqr
November 23, 2024 20:29 12m 49s
chore: dump-state version formatting CI #322: Commit 1c9262c pushed by Kha
November 21, 2024 12:22 5m 28s master
master
November 21, 2024 12:22 5m 28s
update Cargo.lock (#141) CI #321: Commit 8363b2b pushed by Kha
November 18, 2024 09:43 14m 17s master
master
November 18, 2024 09:43 14m 17s
update Cargo.lock CI #320: Pull request #141 opened by stevenleeS0ht
November 13, 2024 17:13 14m 45s stevenleeS0ht:master
stevenleeS0ht:master
November 13, 2024 17:13 14m 45s
feat: support for toolchain origins with underscores (#138) CI #319: Commit 012b434 pushed by Kha
November 6, 2024 14:12 10m 43s master
master
November 6, 2024 14:12 10m 43s
Support for toolchain origins with underscores CI #318: Pull request #138 opened by mnixry
October 15, 2024 16:49 13m 54s mnixry:patch-1
mnixry:patch-1
October 15, 2024 16:49 13m 54s
fix: toolchain normalization in gc CI #317: Commit 4dd88de pushed by Kha
October 8, 2024 14:02 3m 47s eager-resolution-v3
eager-resolution-v3
October 8, 2024 14:02 3m 47s
fix: toolchain normalization in gc CI #316: Commit 4dd88de pushed by Kha
October 8, 2024 13:52 3m 9s master
master
October 8, 2024 13:52 3m 9s
Refinements for vscode-lean4 CI #315: Pull request #137 synchronize by Kha
October 8, 2024 13:48 4m 17s Kha:fixup
Kha:fixup
October 8, 2024 13:48 4m 17s