diff --git a/README.md b/README.md
index 1a2f700..98db25f 100644
--- 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
+  uses: dafny-lang/setup-dafny-action@v1.7.0
 ```
 
 If you need to use a specific version:
 
 ```yml
 - name: "Install Dafny"
-  uses: dafny-lang/setup-dafny-action@v1
+  uses: dafny-lang/setup-dafny-action@v1.7.0
   with:
     dafny-version: "2.3.0"
 ```