Added simple rustup install to CI. Probably wrong

runtimeverification · Jan 24, 2025 · 50494b8 · 50494b8
1 parent 56e3182
commit 50494b8
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -25,9 +25,14 @@ jobs:
           ref: ${{ github.event.pull_request.head.sha }}
           submodules: recursive
 
+      - name: 'Install rustup'
+        run: |
+          curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs > install.sh
+          sh install.sh -y
+
       - name: 'Build smir_pretty'
         run: |
-          cargo build
+          cargo build -vv
 
       - name: 'Run smir integration tests'
         run: |