From 80a2097338d27f29de195d89990064cd7e8280cc Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Thu, 16 Jan 2025 14:19:31 -0800 Subject: [PATCH] 1.8.0 released now --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 98db25f..cc07840 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.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" ```