From 4053f90d2f36a70f7e1efc9e650d5b55d4412153 Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Tue, 9 May 2023 21:59:05 -0700 Subject: [PATCH] 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 | 11 +++++++++-- Scripts/quicktest.out | 1 - Scripts/quicktest.sh | 1 - 3 files changed, 9 insertions(+), 4 deletions(-) diff --git a/.github/workflows/release-downloads-nuget.yml b/.github/workflows/release-downloads-nuget.yml index e159da48a98..82f22781bb5 100644 --- a/.github/workflows/release-downloads-nuget.yml +++ b/.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: diff --git a/Scripts/quicktest.out b/Scripts/quicktest.out index 5a799246ce0..86846cd54b8 100644 --- a/Scripts/quicktest.out +++ b/Scripts/quicktest.out @@ -1,4 +1,3 @@ -Using: ../../Scripts/dafny Should succeed Dafny program verifier finished with 1 verified, 0 errors diff --git a/Scripts/quicktest.sh b/Scripts/quicktest.sh index dca29a80926..3882bc66c99 100755 --- a/Scripts/quicktest.sh +++ b/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