sigh

Author: josecorella

.github/workflows/library_interop_test_vectors.yml

@@ -110,8 +110,15 @@ jobs:
           if: matrix.language == 'rust' && matrix.os == 'windows-latest'
           uses: ilammy/setup-nasm@v1
 
-        - name: Setup Dafny
-          uses: dafny-lang/[email protected]
+        - name: Setup Dafny Rust
+          if: matrix.language == 'rust'
+          uses: dafny-lang/[email protected]
+          with:
+            dafny-version: nightly-2025-01-30-7db1e5f
+  
+        - name: Setup Dafny Not Rust
+          if: matrix.language != 'rust'
+          uses: dafny-lang/[email protected]
           with:
             dafny-version: ${{ inputs.dafny }}