Add system-rzk input

.github/workflows/test.yml

@@ -35,3 +35,10 @@ jobs:
         shell: bash
         run: |
           echo "rzk-version=${{ steps.rzk-check.outputs.rzk-version }}"
+
+      - name: Run the action again, using previously installed rzk
+        uses: ./
+        with:
+          system-rzk: true
+          version: "must be ignored!"
+          files: ${{ matrix.files }}

README.md

@@ -27,6 +27,7 @@ The following example runs `rzk typecheck` on all literate Rzk Markdown files in
 | ------------- | :------: | ---------------------------------------------------- | ------ | ----------------------------- |
 | `rzk-version` |    No    | `rzk` version to use, ex. `latest` or `v0.5.3`       | string | `latest`                      |
 | `files`       |    No    | Files to process, ex. `lib/**/*.rzk src/**/*.rzk.md` | string | Rely on local `rzk.yaml` file |
+| `system-rzk`  |    No    | Use `rzk` executable provided by the system          | string | `false`                       |
 
 ## Outputs
 

action.yml

@@ -5,6 +5,10 @@ branding:
   icon: "triangle"  # 2-simplex? :)
 
 inputs:
+  system-rzk:
+    description: "Use system rzk (instead of downloading binaries)"
+    required: false
+    default: "false"
   rzk-version:
     description: "Version of Rzk to use (latest by default)"
     required: false
@@ -24,6 +28,7 @@ runs:
   steps:
     - name: 🔨 Install Rzk proof assistant
       uses: jaxxstorm/[email protected]
+      if: ${{ inputs.system-rzk }} == "false"
       with:
         repo: fizruk/rzk
         tag: ${{ inputs.rzk-version }}