dotnet 6

aws · Nov 4, 2024 · 0f167e2 · 0f167e2
1 parent 3f74e37
commit 0f167e2
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml
@@ -38,6 +38,13 @@ jobs:
             git submodule update --init --recursive mpl
             git submodule update --init smithy-dafny
 
+      # dafny-reportgenerator requires next6
+      # but only 7.0 is installed on macos-13-large
+      - name: Setup .NET Core SDK '6.0.x'
+        uses: actions/setup-dotnet@v3
+        with:
+          dotnet-version: "6.0.x"
+
       - name: Setup Dafny
         uses: dafny-lang/[email protected]
         with: