From b4d4b3dc2fce107e3b472adcf08b5d97f573ba3a Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Wed, 8 Jan 2025 10:41:00 -0800 Subject: [PATCH] Update gradle.yml (#15) --- .github/workflows/gradle.yml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml index 21283c4..5ef13e3 100644 --- a/.github/workflows/gradle.yml +++ b/.github/workflows/gradle.yml @@ -22,9 +22,7 @@ jobs: - name: Set up Dafny uses: dafny-lang/setup-dafny-action@v1.8.0 with: - # Using a nightly for now because --standard-libraries - # doesn't work without an unreleased fix - dafny-version: "nightly-2024-12-19-7df92c2" + dafny-version: '4.9.1' - name: Build with Gradle uses: gradle/gradle-build-action@v2 with: