dafny-version now visible to composite action

dafny-lang · Jul 13, 2024 · 569403a · 569403a
1 parent 8bc4ee0
commit 569403a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/action.yml b/action.yml
@@ -19,3 +19,5 @@ runs:
       node-version: 16
   - run: node dist/index.js
     shell: bash
+    env:
+      INPUT_DAFNY_VERSION: ${{ inputs.dafny-version }}