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: