From 569403a69450adee59738d3dc541161ca2bb19ac Mon Sep 17 00:00:00 2001
From: Siva Somayyajula <somayyas@amazon.com>
Date: Sat, 13 Jul 2024 13:58:33 -0400
Subject: [PATCH] dafny-version now visible to composite action

---
 action.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/action.yml b/action.yml
index c16174a..5abd2b4 100644
--- 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 }}