Clean up debugging info in the GitHub workflows

verus-lang · Jan 20, 2025 · 7a3e0bf · 7a3e0bf
1 parent 2669831
commit 7a3e0bf
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 19 deletions.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -70,10 +70,8 @@ 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

diff --git a/.github/workflows/verus.yml b/.github/workflows/verus.yml
@@ -44,23 +44,6 @@ jobs:
 #          default: true
 #          override: true
 
-      - name: Debug verus location
-        env:
-          VERUS_BINARY_PATH: /home/runner/work/verus-analyzer/verus-analyzer/verus-x86-linux/verus
-        run: |
-          echo working directory
-          pwd
-          echo contents of working directory
-          ls -la
-          echo contents of verus-86-linux
-          ls -la verus-x86-linux
-          echo contents of parent
-          ls -la ..
-          echo Verus binary env
-          echo $VERUS_BINARY_PATH
-          echo Verus binary info
-          ls -la $VERUS_BINARY_PATH
-
       - name: Test Syntax
         run: cargo test --package syntax --lib