Skip to content

Actions: leanprover/elan

Actions

Deploy elan-init files to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
30 workflow runs
30 workflow runs

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) Deploy elan-init files to GitHub Pages #42: Commit 0e36a07 pushed by Kha
17s master
master
17s
chore: Release Deploy elan-init files to GitHub Pages #41: Commit 227caca pushed by Kha
17s master
master
17s
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: 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
chore: zip = "7.2.0" (#205) Deploy elan-init files to GitHub Pages #38: Commit 464c9d2 pushed by Kha
18s master
master
18s
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
chore: Release Deploy elan-init files to GitHub Pages #36: Commit b6cec7e pushed by Kha
14s master
master
14s
chore: Release Deploy elan-init files to GitHub Pages #35: Commit 35628cc pushed by Kha
17s master
master
17s
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: 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: 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
chore: CI only master branch on push (#200) Deploy elan-init files to GitHub Pages #31: Commit db022fe pushed by Kha
16s master
master
16s
fix: canonicalize toolchains_dir when checking if inside a toolchai… Deploy elan-init files to GitHub Pages #30: Commit 0f3f1f8 pushed by Kha
32s master
master
32s
Update README.md for Windows building instructions (#173) Deploy elan-init files to GitHub Pages #29: Commit 8b77b4b pushed by Kha
24s master
master
24s
chore: Release Deploy elan-init files to GitHub Pages #28: Commit 3d5138e pushed by Kha
16s master
master
16s
fix: path-based toolchain as override (#195) Deploy elan-init files to GitHub Pages #27: Commit 9f9ba52 pushed by Kha
20s master
master
20s
chore: fix release origin Deploy elan-init files to GitHub Pages #26: Commit 917c18d pushed by Kha
15s master
master
15s
chore: Release Deploy elan-init files to GitHub Pages #25: Commit 861dbda pushed by Kha
16s master
master
16s
feat: print notice when using a directory override (#190) Deploy elan-init files to GitHub Pages #24: Commit fb43734 pushed by Kha
16s master
master
16s
feat: resume interrupted downloads via HTTP Range headers (#191) Deploy elan-init files to GitHub Pages #23: Commit bc276ba pushed by Kha
18s master
master
18s
feat: support path toolchains everywhere (#194) Deploy elan-init files to GitHub Pages #22: Commit 8766c3c pushed by Kha
19s master
master
19s
chore: CI: update macOS (#193) Deploy elan-init files to GitHub Pages #21: Commit 21c5c5b pushed by Kha
20s master
master
20s
feat: add support for path-based toolchains in lean-toolchain files Deploy elan-init files to GitHub Pages #20: Commit 87f5ec2 pushed by Kha
20s master
master
20s
Upgrade pulldown-cmark from 0.11 to 0.13 (#184) Deploy elan-init files to GitHub Pages #19: Commit 2a16e96 pushed by Kha
22s master
master
22s
feat: show target of links in in "elan show" (#181) Deploy elan-init files to GitHub Pages #18: Commit 656e9b7 pushed by Kha
15s master
master
15s