fix: Split off setup-dafny-from-source-action (#28)

The CI was passing on cases of building from source, but only because the testing environment could call the composite sub-action. It turns out that doesn't work when using this action from a different repository. Instead I've extracted out the logic into a separate https://github.com/dafny-lang/setup-dafny-from-source-action repo.

Author: robin-aws

.github/workflows/main.yml

@@ -20,8 +20,8 @@ jobs:
           # Test building from source from a subset of versions
           - dafny: 4.0.0
             build-from-source: v4.0.0
-          - dafny: 4.9.0
-            build-from-source: v4.9.0
+          - dafny: 4.9.1
+            build-from-source: v4.9.1
 
     steps:
       # The first call to `dotnet tool` on a fresh runner sometimes takes multiple minutes,
@@ -70,3 +70,15 @@ jobs:
         run: npm run lint
       - name: Test
         run: npm test
+
+  all-required:
+    if: always()
+    needs:
+      - setup-dafny
+      - unit-tests
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Verify all required jobs passed
+        uses: re-actors/alls-green@release/v1
+        with:
+          jobs: ${{ toJSON(needs) }}

action.yml

@@ -19,6 +19,11 @@ runs:
     with:
       dotnet-version: '8.0.x'
 
+  # For the reportgenerator and older Dafnyies
+  - uses: actions/setup-dotnet@v4
+    with:
+      dotnet-version: '6.0.x'
+
   - if: ${{ !inputs.build-from-source }}
     uses: actions/setup-node@v4
     with:
@@ -30,11 +35,7 @@ runs:
       INPUT_DAFNY-VERSION: ${{ inputs.dafny-version }}
 
   - if: ${{ inputs.build-from-source }}
-    uses: actions/setup-dotnet@v4
-    with:
-      dotnet-version: '8.0.x'
-  - if: ${{ inputs.build-from-source }}
-    uses: ./build_dafny_from_source
+    uses: dafny-lang/setup-dafny-from-source-action@v1
     with:
       dafny-version: ${{ inputs.dafny-version }}
       ref: ${{ inputs.build-from-source }}