diff --git a/files/github_publish b/files/github_publish index f39aec4..bb7890a 100644 --- a/files/github_publish +++ b/files/github_publish @@ -4,6 +4,12 @@ GITHUB_USERNAME="${1}" GITHUB_TOKEN="${2}" ASSET_NAME="${3}" +if [ ${GITHUB_ACTIONS} ] ; then + [ -z ${CI_COMMIT_SHA} ] && CI_COMMIT_SHA="${GITHUB_SHA}" + [ -z ${CI_COMMIT_TAG} ] && CI_COMMIT_TAG="${GITHUB_REF_NAME}" + [ -z ${CI_REPO} ] && CI_REPO="${GITHUB_REPOSITORY}" +fi + echo "Creating new GitHub release '${CI_COMMIT_TAG}'" RESULT=$(curl --user "${GITHUB_USERNAME}:${GITHUB_TOKEN}" -X POST https://api.github.com/repos/${CI_REPO}/releases -d \ "{