Print preset in tools/circle-publish-github-summary-comment.sh

esl · Oct 29, 2021 · 02806fd · 02806fd
1 parent 1728c31
commit 02806fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/circle-publish-github-summary-comment.sh b/tools/circle-publish-github-summary-comment.sh
@@ -12,7 +12,7 @@ fi
 
 function make_body
 {
-    echo "[Build]($CIRCLE_BUILD_URL) on $CIRCLE_BRANCH"
+    echo "[Build]($CIRCLE_BUILD_URL) on $CIRCLE_BRANCH / $PRESET"
     if [ ! -z "$CIRCLE_PULL_REQUEST" ]; then
         echo "PR $CIRCLE_PULL_REQUEST"
     fi