Merge pull request #3378 from esl/mu-print-preset-in-the-summary

Print preset in tools/circle-publish-github-summary-comment.sh
esl · Oct 29, 2021 · dd58bfe · dd58bfe
2 parents 1728c31 + 02806fd
commit dd58bfe
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