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.

.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