You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
check-github-token: ## Check if the github token is set
91
+
@if [ -z"${GITHUB_TOKEN}" ];thenecho"GITHUB_TOKEN is not set";exit 1;fi
92
+
93
+
.PHONY: check-previous-release-tag
94
+
check-previous-release-tag: ## Check if the previous release tag is set
95
+
@if [ -z"${PREVIOUS_VERSION}" ];thenecho"PREVIOUS_VERSION is not set";exit 1;fi
96
+
97
+
.PHONY: check-release-tag
98
+
check-release-tag: ## Check if the release tag is set
99
+
@if [ -z"${RELEASE_TAG}" ];thenecho"RELEASE_TAG is not set";exit 1;fi
100
+
# @if ! [ -z "$$(git status --porcelain)" ]; then echo "Your local git repository contains uncommitted changes, use git clean before proceeding."; exit 1; fi
101
+
102
+
.PHONY: check-release-branch
103
+
check-release-branch: ## Check if the release branch is set
104
+
@if [ -z"${RELEASE_BRANCH}" ];thenecho"RELEASE_BRANCH is not set";exit 1;fi
0 commit comments