Skip to content

Actions: leanprover/elan

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use Invoke-WebRequest in elan-init.ps1 CI #354: Pull request #155 opened by Timmmm
December 28, 2024 13:35 Action required Timmmm:patch-2
Timmmm:patch-2
December 28, 2024 13:35 Action required
Improve error reporting in elan-init.ps1 CI #353: Pull request #153 opened by Timmmm
December 28, 2024 11:45 Action required Timmmm:patch-1
Timmmm:patch-1
December 28, 2024 11:45 Action required
Use Rust 2021 edition. CI #352: Pull request #152 opened by daniel-levin
December 19, 2024 20:28 Action required daniel-levin:2021
daniel-levin:2021
December 19, 2024 20:28 Action required
feat: do not warn about outdated toolchains with --no-net CI #351: Commit 417e1ab pushed by Kha
December 11, 2024 12:08 4m 31s eager-resolution-v9
eager-resolution-v9
December 11, 2024 12:08 4m 31s
feat: do not warn about outdated toolchains with --no-net CI #350: Commit 417e1ab pushed by Kha
December 11, 2024 10:52 3m 30s master
master
December 11, 2024 10:52 3m 30s
More eager-resolution refinements CI #349: Pull request #151 opened by Kha
December 11, 2024 10:48 4m 14s Kha:push-orwwmulzxozu
Kha:push-orwwmulzxozu
December 11, 2024 10:48 4m 14s
chore: fix version CI #348: Commit 5a069ac pushed by Kha
December 10, 2024 14:06 15m 21s eager-resolution-v8
eager-resolution-v8
December 10, 2024 14:06 15m 21s
chore: fix version CI #347: Commit 5a069ac pushed by Kha
December 10, 2024 14:05 14m 26s master
master
December 10, 2024 14:05 14m 26s
feat: differentiate live and cached toolchain resolution in `dump-sta… CI #346: Commit 6dffb08 pushed by Kha
December 10, 2024 13:57 3m 10s master
master
December 10, 2024 13:57 3m 10s
feat: differentiate live and cached toolchain resolution in dump-state CI #345: Pull request #150 synchronize by Kha
December 10, 2024 13:54 2m 55s Kha:push-kymowopxwywr
Kha:push-kymowopxwywr
December 10, 2024 13:54 2m 55s
feat: differentiate live and cached toolchain resolution in dump-state CI #344: Pull request #150 opened by Kha
December 10, 2024 13:51 3m 18s Kha:push-kymowopxwywr
Kha:push-kymowopxwywr
December 10, 2024 13:51 3m 18s
chore: do not network-resolve in elan default (#149) CI #343: Commit a4acc2c pushed by Kha
December 10, 2024 13:25 4m 37s master
master
December 10, 2024 13:25 4m 37s
chore: do not network-resolve in elan default CI #342: Pull request #149 opened by Kha
December 10, 2024 13:20 4m 41s Kha:push-wmuooxoykyol
Kha:push-wmuooxoykyol
December 10, 2024 13:20 4m 41s
feat: elan toolchain gc --json CI #341: Commit bc4c0de pushed by Kha
December 5, 2024 16:22 3m 59s eager-resolution-v7
eager-resolution-v7
December 5, 2024 16:22 3m 59s
feat: elan toolchain gc --json CI #340: Commit bc4c0de pushed by Kha
December 5, 2024 16:08 14m 0s master
master
December 5, 2024 16:08 14m 0s
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