Skip to content

Actions: Kha/elan

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: fetch releases and assets from release.lean-lang.org instead of… CI #77: Commit cb510c9 pushed by Kha
13m 9s push-rwzkvxuvyyul
push-rwzkvxuvyyul
13m 9s
feat: fetch releases and assets from release.lean-lang.org instead of… CI #76: Commit 4e25387 pushed by Kha
12m 24s push-rwzkvxuvyyul
push-rwzkvxuvyyul
12m 24s
feat: fetch releases and assets from release.lean-lang.org instead of… CI #75: Commit 55c2822 pushed by Kha
11m 52s push-rwzkvxuvyyul
push-rwzkvxuvyyul
11m 52s
feat: fetch releases and assets from release.lean-lang.org instead of… CI #74: Commit 97e6484 pushed by Kha
12m 18s push-rwzkvxuvyyul
push-rwzkvxuvyyul
12m 18s
feat: fetch releases and assets from release.lean-lang.org instead of… CI #73: Commit 0d344bc pushed by Kha
12m 10s push-rwzkvxuvyyul
push-rwzkvxuvyyul
12m 10s
CI CI #72: by Kha
14m 35s v4.0.0
v4.0.0
14m 35s
feat: do not warn about outdated toolchains with --no-net CI #71: Commit f88a8a6 pushed by Kha
13m 23s push-orwwmulzxozu
push-orwwmulzxozu
13m 23s
chore: fix version CI #70: Commit 5aa3910 pushed by Kha
15m 18s master@upstream
master@upstream
15m 18s
feat: differentiate live and cached toolchain resolution in dump-state CI #69: Commit c7e202f pushed by Kha
11m 18s push-kymowopxwywr
push-kymowopxwywr
11m 18s
feat: differentiate live and cached toolchain resolution in dump-state CI #68: Commit 64b738a pushed by Kha
14m 53s push-kymowopxwywr
push-kymowopxwywr
14m 53s
chore: do not network-resolve in elan default CI #67: Commit b4dec16 pushed by Kha
14m 34s push-wmuooxoykyol
push-wmuooxoykyol
14m 34s
doc: clarify installation instructions for Windows CI #66: Commit 40bb95d pushed by Kha
24s update-notify
update-notify
24s
doc: clarify installation instructions for Windows CI #65: Commit 40bb95d pushed by Kha
18s atomic-unpack
atomic-unpack
18s
feat: elan toolchain gc --json CI #64: Commit 875afc1 pushed by Kha
14m 28s push-wkoryqsrtsnu
push-wkoryqsrtsnu
14m 28s
fix: elan show annotations, do not annotate elan toolchain list CI #63: Commit 50c74f7 pushed by Kha
13m 57s push-wkoryqsrtsnu
push-wkoryqsrtsnu
13m 57s
fix: toolchain overrides were not being resolved CI #62: Commit 9997682 pushed by Kha
14m 39s push-zvssmmkyzppx
push-zvssmmkyzppx
14m 39s
fix: do not resolve toolchains from files with --no-net CI #61: Commit 12369d5 pushed by Kha
12m 58s push-tnyvqomlntnv
push-tnyvqomlntnv
12m 58s
cleanup CI #60: Commit 61b217c pushed by Kha
34s eager-resolution
eager-resolution
34s
fix: toolchain normalization in gc CI #59: Commit a3a3e3c pushed by Kha
14m 14s fixup
fixup
14m 14s
Fix release action CI #58: Commit d7f9865 pushed by Kha
16s eager-resolution-v2
eager-resolution-v2
16s
fix: do not GC default and overrides CI #57: Commit 6870cdc pushed by Kha
24s gc
gc
24s
update upload-artifact CI #56: Commit aa34b8c pushed by Kha
14m 13s dump-state
dump-state
14m 13s
Merge branch 'master' into push-yyunorqxwoqr CI #55: Commit 655aef3 pushed by Kha
14m 23s push-yyunorqxwoqr
push-yyunorqxwoqr
14m 23s
fix: per-toolchain installation lock CI #54: Commit 06861d6 pushed by Kha
13m 54s push-svmxwoomzllm
push-svmxwoomzllm
13m 54s
fix: per-toolchain installation lock CI #53: Commit 6023257 pushed by Kha
10m 13s push-svmxwoomzllm
push-svmxwoomzllm
10m 13s