Abort publish when an error happens

This commit is contained in:
Lars
2019-08-28 20:13:21 +02:00
committed by GitHub
parent 07e6ebee2d
commit f7980fbb91

View File

@@ -1,4 +1,5 @@
#!/bin/sh
set -e
if [ -z "${INPUT_NAME}" ]; then
echo "Unable to find the repository name. Did you set with.name?"