chore: add Dafny 4.8.0 (#522)

smithy-lang · Sep 4, 2024 · 3c0a1ce · 3c0a1ce
1 parent 17425b1
commit 3c0a1ce
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
@@ -10,10 +10,10 @@ jobs:
     steps:
       - name: Populate Dafny versions list
         id: populate-dafny-versions-list
-        run: echo "dafny-versions-list=['4.2.0', '4.4.0']" >> $GITHUB_OUTPUT
+        run: echo "dafny-versions-list=['4.2.0', '4.4.0', '4.8.0']" >> $GITHUB_OUTPUT
       - name: Populate Dafny versions list for "only new versions" languages (Python)
         id: populate-only-new-dafny-versions-list
-        run: echo "only-new-dafny-versions-list=['4.7.0']" >> $GITHUB_OUTPUT
+        run: echo "only-new-dafny-versions-list=['4.8.0']" >> $GITHUB_OUTPUT
     outputs:
       dafny-version-list: ${{ steps.populate-dafny-versions-list.outputs.dafny-versions-list }}
       only-new-dafny-version-list: ${{ steps.populate-only-new-dafny-versions-list.outputs.only-new-dafny-versions-list }}

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -12,10 +12,10 @@ jobs:
     steps:
       - name: Populate Dafny versions list
         id: populate-dafny-versions-list
-        run: echo "dafny-versions-list=['4.2.0', '4.4.0']" >> $GITHUB_OUTPUT
+        run: echo "dafny-versions-list=['4.2.0', '4.4.0', '4.8.0']" >> $GITHUB_OUTPUT
       - name: Populate Dafny versions list for "only new versions" languages (Python)
         id: populate-only-new-dafny-versions-list
-        run: echo "only-new-dafny-versions-list=['4.7.0']" >> $GITHUB_OUTPUT
+        run: echo "only-new-dafny-versions-list=['4.8.0']" >> $GITHUB_OUTPUT
     outputs:
       dafny-version-list: ${{ steps.populate-dafny-versions-list.outputs.dafny-versions-list }}
       only-new-dafny-version-list: ${{ steps.populate-only-new-dafny-versions-list.outputs.only-new-dafny-versions-list }}

diff --git a/...hy-dafny-codegen/src/test/java/software/amazon/polymorph/smithyjava/ForEachDafnyTest.java b/...hy-dafny-codegen/src/test/java/software/amazon/polymorph/smithyjava/ForEachDafnyTest.java
@@ -17,6 +17,7 @@ public static Collection dafnies() {
       new Object[][] {
         { new DafnyVersion(4, 1, 0) },
         { new DafnyVersion(4, 3, 0) },
+        { new DafnyVersion(4, 8, 0) },
       }
     );
   }