m

Author: ajewellamz

.github/workflows/library_rust_tests.yml

@@ -61,8 +61,9 @@ jobs:
 
       # Use setup-dafny-actions with correct version when Dafny releases 4.8.2
       - name: Setup Dafny
-        uses: https://github.com/dafny-lang/setup-dafny-action/commit/03b219c5a4f71cfe24cb9e02b69d4a622449adbb
-	with:
+        uses: dafny-lang/setup-dafny-action@03b219c5a4f71cfe24cb9e02b69d4a622449adbb
+        with:
+          dafny-version: 4.9.2
           build-from-source: d07403b6d6606257e1b5aada4d0156901f4a17de
 
       - name: Update MPL submodule if using MPL HEAD