trying manually installing dev components

runtimeverification · Jan 30, 2025 · 342d161 · 342d161
1 parent 03766ee
commit 342d161
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -92,8 +92,11 @@ jobs:
         uses: dtolnay/rust-toolchain@master
         with:
           toolchain: nightly-2024-11-29 # Hardcoded version, same as smir_pretty
+        run: |
+          rustup component add rustc-dev
+          rustup component add llvm-tools
 
-      - name: 'Build smir_pretty and its rustc dependency'
+      - name: 'Build smir_pretty'
         run: | # rustc bootstrap checks this and refuses stage 1 in "CI"
           export GITHUB_ACTIONS="in denial" && \
           echo "GITHUB_ACTIONS = ${GITHUB_ACTIONS}" && \