allow to push other docker image tag than default

overtrue · Oct 4, 2023 · 07eba9a · 07eba9a
1 parent 49a5059
commit 07eba9a
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -2,6 +2,13 @@ name: Docker
 
 on:
   workflow_dispatch:
+    # https://github.blog/changelog/2020-07-06-github-actions-manual-triggers-with-workflow_dispatch/
+    inputs:
+      tag:
+        description: "The Docker Image Tag"
+        required: false
+        default: "latest"
+        type: string
   push:
     branches:
       - 'main'
@@ -31,4 +38,4 @@ jobs:
         uses: docker/build-push-action@v3
         with:
           push: true
-          tags: overtrue/phplint:latest
+          tags: overtrue/phplint:${{ github.event.inputs.tag }}