We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 235fd4b commit 8e5f1d1Copy full SHA for 8e5f1d1
tools/check-deploy-needed.sh
@@ -7,6 +7,8 @@ fi
7
8
source ./tools/config.sh
9
10
+echo "IDF_REPO: $IDF_REPO"
11
+echo "IDF_BRANCH: $IDF_BRANCH"
12
IDF_COMMIT=`github_last_commit "$IDF_REPO" "$IDF_BRANCH"`
13
14
if [ -z $GITHUB_HEAD_REF ]; then
0 commit comments