chore: re-enable Dafny for MacOS (#1343)

.NET had a signature failure in MacOS.
This was fixed in 9.0.202. This installs at least this version of .NET to make the setup-dafny-action succeed.

Author: seebees

.github/actions/setup_dafny/action.yml

@@ -0,0 +1,30 @@
+#
+#
+# This local action consolidate all uses of dafny-lang/setup-dafny-action
+# as well as works around any dependencies or issues with setting up Dafny.
+# It can also be re-used by downstream projects such as the DB-ESDK and ESDK.
+#
+name: "Setup Dafny"
+description: "This uses the setup Dafny action."
+inputs:
+  dafny-version:
+    description: "The Dafny version to setup"
+    required: true
+    type: string
+runs:
+  using: "composite"
+  steps:
+    # The dotnet tool requires >= 9.0.202 to work on MacOS
+    # See: https://github.com/dotnet/sdk/issues/46857#issuecomment-2734338347
+    # Ideally this action would only install this on MacOS,
+    # but I do not want to keep track of the various values
+    # See: https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/store-information-in-variables#detecting-the-operating-system
+    - name: Setup .NET Core SDK '9.0.x'
+      uses: actions/setup-dotnet@v3
+      with:
+        dotnet-version: "9.0.x"
+
+    - name: Setup Dafny with setup-dafny action
+      uses: dafny-lang/setup-dafny-action@v1.8.0
+      with:
+        dafny-version: ${{ inputs.dafny-version }}

.github/workflows/library_codegen.yml

@@ -53,7 +53,7 @@ jobs:
       # and to translate version strings such as "nightly-latest"
       # to an actual DAFNY_VERSION.
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/library_dafny_verification.yml

@@ -52,17 +52,10 @@ jobs:
       - run: git submodule update --init --recursive smithy-dafny
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.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: Regenerate code using smithy-dafny if necessary
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen

.github/workflows/library_format.yml

@@ -49,7 +49,7 @@ jobs:
       - run: git submodule update --init --recursive smithy-dafny
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/library_go_tests.yml

@@ -65,7 +65,7 @@ jobs:
       - run: git submodule update --init --recursive smithy-dafny
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/library_interop_tests.yml

@@ -100,13 +100,13 @@ jobs:
 
       - name: Setup Dafny Rust
         if: matrix.language == 'rust'
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: nightly-2025-01-30-7db1e5f
 
       - name: Setup Dafny Not Rust
         if: matrix.language != 'rust'
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 
@@ -290,13 +290,13 @@ jobs:
 
       - name: Setup Dafny 2 Rust
         if: matrix.decrypting_language == 'rust'
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: nightly-2025-01-30-7db1e5f
 
       - name: Setup Dafny 2 Not Rust
         if: matrix.decrypting_language != 'rust'
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/library_java_tests.yml

@@ -62,7 +62,7 @@ jobs:
       - run: git submodule update --init --recursive smithy-dafny
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/library_net_tests.yml

@@ -69,7 +69,7 @@ jobs:
           dotnet-version: ${{ matrix.dotnet-version }}
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/library_python_tests.yml

@@ -65,7 +65,7 @@ jobs:
       - run: git submodule update --init --recursive smithy-dafny
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/library_rust_tests.yml

@@ -64,7 +64,7 @@ jobs:
           components: rustfmt
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: nightly-2025-01-30-7db1e5f