Skip to content

Actions: leanprover/elan

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
perf: request compressed responses for the release index (#209) CI #498: Commit 0e36a07 pushed by Kha
3m 8s master
master
3m 8s
perf: request compressed responses for the release index (#209) Deploy elan-init files to GitHub Pages #42: Commit 0e36a07 pushed by Kha
17s master
master
17s
perf: request compressed responses for the release index CI #497: Pull request #209 opened by Kha
3m 28s push-pynmqrvopxvn
push-pynmqrvopxvn
3m 28s
chore: Release CI #496: Commit 227caca pushed by Kha
12m 28s v4.2.4
v4.2.4
12m 28s
chore: Release Deploy elan-init files to GitHub Pages #41: Commit 227caca pushed by Kha
17s master
master
17s
chore: Release CI #495: Commit 227caca pushed by Kha
12m 46s master
master
12m 46s
fix: exit code 0 when installing an already-installed toolchain (#208) CI #494: Commit 2659101 pushed by Kha
3m 52s master
master
3m 52s
fix: exit code 0 when installing an already-installed toolchain (#208) Deploy elan-init files to GitHub Pages #40: Commit 2659101 pushed by Kha
14s master
master
14s
fix: exit code 0 when installing an already-installed toolchain CI #493: Pull request #208 opened by Kha
3m 45s push-loqskoslsxoz
push-loqskoslsxoz
3m 45s
fix: panic in elan toolchain gc on toolchains without a directory (… Deploy elan-init files to GitHub Pages #39: Commit 7dbaedf pushed by Kha
17s master
master
17s
fix: panic in elan toolchain gc on toolchains without a directory (… CI #492: Commit 7dbaedf pushed by Kha
12m 41s master
master
12m 41s
fix: panic in elan toolchain gc on toolchains without a directory CI #491: Pull request #207 opened by Kha
12m 14s push-wotxrmvrltyo
push-wotxrmvrltyo
12m 14s
chore: zip = "7.2.0" (#205) CI #490: Commit 464c9d2 pushed by Kha
12m 29s master
master
12m 29s
chore: zip = "7.2.0" (#205) Deploy elan-init files to GitHub Pages #38: Commit 464c9d2 pushed by Kha
18s master
master
18s
zip = "7.2.0" CI #489: Pull request #205 opened by afeistel
9m 44s parrrate:master
parrrate:master
9m 44s
Minor refactor of elan-init.ps1 for ContrainedLanguage Mode (#204) Deploy elan-init files to GitHub Pages #37: Commit 6737edc pushed by Kha
16s master
master
16s
Minor refactor of elan-init.ps1 for ContrainedLanguage Mode (#204) CI #488: Commit 6737edc pushed by Kha
5m 47s master
master
5m 47s
Minor refactor of elan-init.ps1 for ContrainedLanguage Mode CI #487: Pull request #204 synchronize by davide-pozzoni-uk-gt
3m 15s davide-pozzoni-uk-gt:master
davide-pozzoni-uk-gt:master
3m 15s
Minor refactor of elan-init.ps1 for ContrainedLanguage Mode CI #486: Pull request #204 opened by davide-pozzoni-uk-gt
8m 16s davide-pozzoni-uk-gt:master
davide-pozzoni-uk-gt:master
8m 16s
chore: Release CI #485: Commit b6cec7e pushed by Kha
12m 1s v4.2.3
v4.2.3
12m 1s
chore: Release CI #484: Commit b6cec7e pushed by Kha
13m 1s master
master
13m 1s
chore: Release Deploy elan-init files to GitHub Pages #36: Commit b6cec7e pushed by Kha
14s master
master
14s
chore: Release CI #483: Commit 35628cc pushed by Kha
12m 51s master
master
12m 51s
chore: Release Deploy elan-init files to GitHub Pages #35: Commit 35628cc pushed by Kha
17s master
master
17s
chore: Release CI #482: Commit 35628cc pushed by Kha
14m 47s v4.2.2
v4.2.2
14m 47s