Update gradle.yml (#15)

dafny-lang · Jan 8, 2025 · b4d4b3d · b4d4b3d
1 parent 2773fed
commit b4d4b3d
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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: