Skip to content

Actions: leanprover/elan

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
123 workflow runs
123 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
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
fix: error on bad path-based toolchain instead of silent default down… Deploy elan-init files to GitHub Pages #34: Commit d47377e pushed by Kha
22s master
master
22s
fix: error on bad path-based toolchain instead of silent default down… CI #481: Commit d47377e pushed by Kha
3m 37s master
master
3m 37s
fix: error on bad path-based toolchain instead of silent default download CI #480: Pull request #201 synchronize by Kha
4m 3s push-smvwootmxzwy
push-smvwootmxzwy
4m 3s
fix: dead rust-lang.org/COPYRIGHT link in installer script (#203) CI #479: Commit 55dc281 pushed by Kha
4m 54s master
master
4m 54s
fix: dead rust-lang.org/COPYRIGHT link in installer script (#203) Deploy elan-init files to GitHub Pages #33: Commit 55dc281 pushed by Kha
17s master
master
17s
fix: dead rust-lang.org/COPYRIGHT link in installer script CI #478: Pull request #203 synchronize by Kha
3m 46s push-qktvnsowwxqv
push-qktvnsowwxqv
3m 46s
fix: dead rust-lang.org/COPYRIGHT link in installer script CI #477: Pull request #203 synchronize by Kha
3m 57s push-qktvnsowwxqv
push-qktvnsowwxqv
3m 57s
fix: dead rust-lang.org/COPYRIGHT link in installer script CI #476: Pull request #203 opened by Kha
4m 43s push-qktvnsowwxqv
push-qktvnsowwxqv
4m 43s
fix: replace leftover Rust term "crate" with "package" in `elan toolc… CI #475: Commit 59f950b pushed by Kha
5m 15s master
master
5m 15s
fix: replace leftover Rust term "crate" with "package" in `elan toolc… Deploy elan-init files to GitHub Pages #32: Commit 59f950b pushed by Kha
20s master
master
20s
fix: replace leftover Rust term "crate" with "package" in elan toolchain help link CI #474: Pull request #202 opened by Kha
3m 16s push-ltrnrkvqnvpr
push-ltrnrkvqnvpr
3m 16s
fix: error on bad path-based toolchain instead of silent default download CI #473: Pull request #201 synchronize by Kha
5m 7s push-smvwootmxzwy
push-smvwootmxzwy
5m 7s