More info about rustup

verus-lang · Jan 20, 2025 · 36830bb · 36830bb
1 parent 401b013
commit 36830bb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -70,8 +70,10 @@ jobs:
       - name: Install Rust toolchain
         run: |
           rustup update --no-self-update stable
+          rustup show
           rustup target add ${{ matrix.target }}
           rustup component add rust-src
+          rustc --version
 
       - name: Install Node.js
         uses: actions/setup-node@v4