chore: re-enable Dafny for MacOS

.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,29 @@
+#
+#
+# This local action consolidate all uses of dafny-lang/setup-dafny-action
+# Once the MPL is updated, this action can point to the MPL version.
+#
+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/[email protected]
+      with:
+        dafny-version: ${{ inputs.dafny-version }}

.github/workflows/ci_codegen.yml

@@ -39,7 +39,7 @@ jobs:
       # and to translate version strings such as "nightly-latest"
       # to an actual DAFNY_VERSION.
       - name: Setup Dafny
-        uses: dafny-lang/[email protected]
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_examples_java.yml

@@ -53,7 +53,7 @@ jobs:
           java-version: ${{ matrix.java-version }}
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected]
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_examples_net.yml

@@ -46,7 +46,7 @@ jobs:
           dotnet-version: ${{ matrix.dotnet-version }}
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected]
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_test_java.yml

@@ -47,7 +47,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected]
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_test_latest_released_mpl_java.yml

@@ -54,7 +54,7 @@ jobs:
           java-version: ${{ matrix.java-version }}
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected]
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ needs.getVersion.outputs.version }}
 

.github/workflows/ci_test_net.yml

@@ -47,7 +47,7 @@ jobs:
           dotnet-version: ${{ matrix.dotnet-version }}
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected]
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_test_vector_java.yml

@@ -56,7 +56,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected]
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/ci_test_vector_net.yml

@@ -52,7 +52,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/[email protected]
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/dafny_interop_examples_java.yml

@@ -47,7 +47,7 @@ jobs:
           fetch-depth: 0
 
       - name: Setup MPL Dafny
-        uses: dafny-lang/[email protected]
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.mpl-dafny }}
 
@@ -73,7 +73,7 @@ jobs:
           make build_java CORES=$CORES
 
       - name: Setup DBESDK Dafny
-        uses: dafny-lang/[email protected]
+        uses: ./.github/actions/setup_dafny
         with:
           dafny-version: ${{ inputs.dbesdk-dafny}}