devops: fix docker publish workflow (#898)

2026-05-22 18:53:15 +00:00 · 2022-04-12 12:40:21 -06:00
parent 41fd9a6f75
commit 9845a05544
1 changed files with 5 additions and 0 deletions
@@ -3,6 +3,11 @@ on:
  release:
    types: [published]
  workflow_dispatch:
+    inputs:
+      is_release:
+        required: true
+        type: boolean
+        description: "Is this a release image?"
    branches:
      - release-*
 jobs: