diff options
author | Laurențiu Nicola <[email protected]> | 2020-12-23 06:34:10 +0000 |
---|---|---|
committer | Laurențiu Nicola <[email protected]> | 2020-12-23 06:46:38 +0000 |
commit | 25a987703c05d5a78059eb776a5b4ca65018a816 (patch) | |
tree | 8758cad3fa6a8203bbb13f72ddcaeef2128f8b98 | |
parent | 493e29d7132a25ce13c10393c581c2f9e1116320 (diff) |
Don't release uncompressed binaries under the new naming scheme
-rw-r--r-- | .github/workflows/release.yaml | 2 | ||||
-rw-r--r-- | xtask/src/dist.rs | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml index 09752b817..75483b477 100644 --- a/.github/workflows/release.yaml +++ b/.github/workflows/release.yaml | |||
@@ -82,7 +82,7 @@ jobs: | |||
82 | 82 | ||
83 | - name: Nightly analysis-stats check | 83 | - name: Nightly analysis-stats check |
84 | if: github.ref != 'refs/heads/release' | 84 | if: github.ref != 'refs/heads/release' |
85 | run: ./dist/rust-analyzer-x86_64-unknown-linux-gnu analysis-stats . | 85 | run: target/x86_64-unknown-linux-gnu/release/rust-analyzer analysis-stats . |
86 | 86 | ||
87 | - name: Upload artifacts | 87 | - name: Upload artifacts |
88 | uses: actions/upload-artifact@v1 | 88 | uses: actions/upload-artifact@v1 |
diff --git a/xtask/src/dist.rs b/xtask/src/dist.rs index d07ad9420..d59b88131 100644 --- a/xtask/src/dist.rs +++ b/xtask/src/dist.rs | |||
@@ -70,7 +70,6 @@ fn dist_server() -> Result<()> { | |||
70 | let src = | 70 | let src = |
71 | Path::new("target").join(&target).join("release").join(format!("rust-analyzer{}", suffix)); | 71 | Path::new("target").join(&target).join("release").join(format!("rust-analyzer{}", suffix)); |
72 | let dst = Path::new("dist").join(format!("rust-analyzer-{}{}", target, suffix)); | 72 | let dst = Path::new("dist").join(format!("rust-analyzer-{}{}", target, suffix)); |
73 | cp(&src, &dst)?; | ||
74 | gzip(&src, &dst.with_extension("gz"))?; | 73 | gzip(&src, &dst.with_extension("gz"))?; |
75 | 74 | ||
76 | // FIXME: the old names are temporarily kept for client compatibility, but they should be removed | 75 | // FIXME: the old names are temporarily kept for client compatibility, but they should be removed |