chore: Fix NuGet release downloads workflow (#3975)

Broken by #3707, unfortunately we don't have a mechanism to re-run these
workflows when they change.

Author: robin-aws

.github/workflows/release-downloads-nuget.yml

@@ -88,11 +88,18 @@ jobs:
       run: version="${{ steps.dafny.outputs.release }}"; dafny -version | grep -iE "Dafny "${version:1}".[0-9]{5}"
       shell: bash
     ## Check that a simple program compiles and runs on each supported platform
+    ## Now that the dotnet tool distribution doesn't include the Scripts,
+    ## so we need to clone the repository to get them.
+    - name: Checkout Dafny
+      uses: actions/checkout@v3
+      with:
+        submodules: recursive
+        path: dafny-repo
     - name: run quicktests
       run: |
         npm install bignumber.js
-        dafny/quicktest.sh > log.txt
-        diff log.txt dafny/quicktest.out
+        dafny-repo/Scripts/quicktest.sh dafny > log.txt
+        diff log.txt dafny-repo/Scripts/quicktest.out
 
   test-dafny-libraries:
 

Scripts/quicktest.out

@@ -1,4 +1,3 @@
-Using: ../../Scripts/dafny
 Should succeed
 
 Dafny program verifier finished with 1 verified, 0 errors

Scripts/quicktest.sh

@@ -10,7 +10,6 @@ if [ -n "$1" ]; then
 else
   DAFNY=$DIR/dafny
 fi
-echo "Using:" $DAFNY
 
 echo Should succeed
 $DAFNY verify a.dfy