Add system-rzk input

Author: fizruk

.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
+          rzk-version: "must be ignored!"
+          files: ${{ matrix.files }}

README.md

@@ -23,10 +23,11 @@ The following example runs `rzk typecheck` on all literate Rzk Markdown files in
 
 ## Inputs
 
-| Name          | Required | Description                                          | Type   | Default                       |
-| ------------- | :------: | ---------------------------------------------------- | ------ | ----------------------------- |
-| `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 |
+| Name          | Required | Description                                          | Type    | Default                       |
+| ------------- | :------: | ---------------------------------------------------- | ------- | ----------------------------- |
+| `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          | boolean | `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/action-install-gh-release@v1.10.0
+      if: ${{ inputs.system-rzk == 'false' }}
       with:
         repo: fizruk/rzk
         tag: ${{ inputs.rzk-version }}