Merge pull request #33 from arichardson/revmark-choice

Use an option input for revision_mark
riscv · Feb 6, 2024 · a71dc4b · a71dc4b
2 parents d3f1da8 + 57898f9
commit a71dc4b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/build-pdf.yml b/.github/workflows/build-pdf.yml
@@ -12,7 +12,11 @@ on:
       revision_mark:
         description: 'Set revision mark as Draft, Release or Stable:'
         required: true
-        type: string
+        type: choice
+        options:
+          - Draft
+          - Release
+          - Stable
         default: Draft
       prerelease:
         description: Tag as a pre-release?