From 68dcc7e23f1ecb31a22bf68ca51e21d353da5137 Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Fri, 3 Mar 2023 13:54:49 -0800 Subject: [PATCH 1/3] Specify latest version in README --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 1a2f700..c8f9611 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.6.1 ``` 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.6.1 with: dafny-version: "2.3.0" ``` From dd0cdb02a6afd37d652a021853104922f9139d6a Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Wed, 27 Mar 2024 12:58:47 -0700 Subject: [PATCH 2/3] Apply suggestions from code review Co-authored-by: Sebastian Mohr --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index c8f9611..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.6.1 + 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.6.1 + uses: dafny-lang/setup-dafny-action@v1.7.0 with: dafny-version: "2.3.0" ``` From 80a2097338d27f29de195d89990064cd7e8280cc Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Thu, 16 Jan 2025 14:19:31 -0800 Subject: [PATCH 3/3] 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" ```