push images on workflow_dispatch

Author: RTXUX

push.sh

@@ -2,18 +2,21 @@
 
 [[ $DEBUG = true ]] && set -x
 
-if [[ $GITHUB_EVENT_NAME != push && $GITHUB_EVENT_NAME != schedule ]]; then
-    exit 0
-fi
-if [[ $GITHUB_EVENT_NAME == push && $GITHUB_REF != "refs/heads/master" ]]; then
-    exit 0
-fi
+case $GITHUB_EVENT_NAME in
+    push|schedule|workflow_dispatch)
+        if [[ $GITHUB_REF != "refs/heads/master" ]]; then
+            exit 0
+        fi
+        ;;
+    *)
+        exit 0
+        ;;
+esac
 
 [[ -z $SKIP_LOGIN ]] && docker login -u "$DOCKER_USER" -p "$DOCKER_PASS"
 
 for image in $(docker images --filter=label=org.ustcmirror.images=true --format="{{.Repository}}:{{.Tag}}")
 do
-    docker push "$image"
-    echo "$image pushed"
+    docker push "$image" && echo "$image pushed"
 done