diff options
author | ThiƩbaud Weksteen <[email protected]> | 2021-01-21 14:37:10 +0000 |
---|---|---|
committer | ThiƩbaud Weksteen <[email protected]> | 2021-01-21 14:37:10 +0000 |
commit | 9a68c7f6c79adea05e2d5cbc8ce09e801e664bff (patch) | |
tree | 4cdc9eca40a822afb4a1707bbd3f6c950511940c | |
parent | fde4a860aea903a0455a05c1def1d07a6573639b (diff) |
Add step to run analysis-stats on std
-rw-r--r-- | .github/workflows/release.yaml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml index a97ed24ba..94b6aa7c4 100644 --- a/.github/workflows/release.yaml +++ b/.github/workflows/release.yaml | |||
@@ -94,6 +94,7 @@ jobs: | |||
94 | toolchain: stable | 94 | toolchain: stable |
95 | profile: minimal | 95 | profile: minimal |
96 | override: true | 96 | override: true |
97 | components: rust-src | ||
97 | 98 | ||
98 | - name: Install Nodejs | 99 | - name: Install Nodejs |
99 | uses: actions/setup-node@v1 | 100 | uses: actions/setup-node@v1 |
@@ -108,10 +109,12 @@ jobs: | |||
108 | if: github.ref != 'refs/heads/release' | 109 | if: github.ref != 'refs/heads/release' |
109 | run: cargo xtask dist --nightly --client 0.3.$GITHUB_RUN_NUMBER-nightly | 110 | run: cargo xtask dist --nightly --client 0.3.$GITHUB_RUN_NUMBER-nightly |
110 | 111 | ||
111 | - name: Nightly analysis-stats check | 112 | - name: Run analysis-stats on rust-analyzer |
112 | if: github.ref != 'refs/heads/release' | ||
113 | run: target/${{ env.RA_TARGET }}/release/rust-analyzer analysis-stats . | 113 | run: target/${{ env.RA_TARGET }}/release/rust-analyzer analysis-stats . |
114 | 114 | ||
115 | - name: Run analysis-stats on rust std library | ||
116 | run: target/${{ env.RA_TARGET }}/release/rust-analyzer analysis-stats --with-deps $(rustc --print sysroot)/lib/rustlib/src/rust/library/std | ||
117 | |||
115 | - name: Upload artifacts | 118 | - name: Upload artifacts |
116 | uses: actions/upload-artifact@v1 | 119 | uses: actions/upload-artifact@v1 |
117 | with: | 120 | with: |