devops: fix docker publish workflow (#898) (#900)

2026-08-05 15:06:54 +00:00 · 2022-04-12 12:09:47 -07:00
parent eb97940e7a
commit ad2cebb6cb
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: