Update gradle.yml

dafny-lang · Jan 6, 2025 · 84e98ca · 84e98ca
1 parent ffba5a1
commit 84e98ca
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/[email protected]
         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: