GitHub Action for DockerHub build and publish #19

.github/workflows/docker-publish.yml

@@ -1,8 +1,8 @@
 name: Build and Publish image to Docker Hub
 on:
+    repository_dispatch:
+      types: [prover-update]
     push:
-      branches:
-        - 'master'
       tags:
         - 'v*.*.*'
 
@@ -45,11 +45,11 @@ jobs:
       - name: Determine Docker Tags
         id: set-tag
         run: |
-          if [[ "${GITHUB_REF}" == refs/tags/* ]]; then
+          if [[ "${GITHUB_EVENT_NAME}" == "repository_dispatch" ]]; then
+            echo "Latest version tags..."
+          elif [[ "${GITHUB_REF}" == refs/tags/* ]]; then
             TAG_NAME=$(echo ${GITHUB_REF} | sed 's/refs\/tags\///')
             echo "DOCKER_TAGS=${TAG_NAME}" >> $GITHUB_ENV
-          elif [[ "${GITHUB_REF}" == "refs/heads/master" ]]; then
-            echo "Latest version tags..."
           else
             echo "No valid ref for tagging. Exiting..."
             exit 1