Version constraint on .NET (#21)

Enforces version constraint on .NET so that runners don't use too new a version of .NET (macos arm64 runners will at the moment). --------- Co-authored-by: Siva Somayyajula <[email protected]>
dafny-lang · Jul 13, 2024 · bf5fd33 · bf5fd33
1 parent f2a6243
commit bf5fd33
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/action.yml b/action.yml
@@ -9,5 +9,15 @@ inputs:
     required: true
     default: "3.1.0"
 runs:
-  using: "node16"
-  main: "dist/index.js"
+  using: "composite"
+  steps:
+  - uses: actions/setup-dotnet@v4
+    with:
+      dotnet-version: '6.0.x'
+  - uses: actions/setup-node@v4
+    with:
+      node-version: 16
+  - run: node dist/index.js
+    shell: bash
+    env:
+      INPUT_DAFNY-VERSION: ${{ inputs.dafny-version }}