Add rzk-version input, default to v0.4.1.1

rzk-lang · Jun 15, 2023 · 516b27e · 516b27e
1 parent 2d5ed96
commit 516b27e
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/action.yml b/action.yml
@@ -1,6 +1,10 @@
 name: 'rzk-check'
 description: 'Check rzk formalisations'
 inputs:
+  rzk-version:
+    description: 'Version of Rzk to use'
+    required: false
+    default: 'latest'
   files:  # files to check
     description: 'Files to check (*.rzk by default)'
     required: false
@@ -12,7 +16,7 @@ runs:
       uses: jaxxstorm/[email protected]
       with:
         repo: fizruk/rzk
-        tag: v0.2.0
+        tag: ${{ inputs.rzk-version }}
         rename-to: rzk
         chmod: 0755