1.8.0 released now

dafny-lang · Jan 16, 2025 · 80a2097 · 80a2097
1 parent dd0cdb0
commit 80a2097
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -7,14 +7,14 @@ A GitHub Action to download a binary release of Dafny and add it to the system
 
 ```yml
 - name: "Install Dafny"
-  uses: dafny-lang/setup-dafny-action@v1.7.0
+  uses: dafny-lang/setup-dafny-action@v1.8.0
 ```
 
 If you need to use a specific version:
 
 ```yml
 - name: "Install Dafny"
-  uses: dafny-lang/setup-dafny-action@v1.7.0
+  uses: dafny-lang/setup-dafny-action@v1.8.0
   with:
     dafny-version: "2.3.0"
 ```