Documentation

dafny-lang · Oct 31, 2023 · 1466875 · 1466875
1 parent 41a3eba
commit 1466875
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -19,5 +19,10 @@ If you need to use a specific version:
     dafny-version: "2.3.0"
 ```
 
+You can also use `nightly-latest` to install the most recent nightly pre-release.
+
+This action sets a DAFNY_VERSION environment variable for the benefit of subsequent steps
+containing the actual resolved Dafny version: particularly useful for `nightly-latest`!
+
 This action transparently works on macOS by detecting the running OS. You can
 just set `runs-on` to a macOS virtual environment like `macos-latest`.