From dec8307a769fbacd5f855282c0dc29187e40119f Mon Sep 17 00:00:00 2001 From: Edd Barrett Date: Mon, 6 Nov 2023 14:42:49 +0000 Subject: [PATCH] test again. --- .buildbot.sh | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.buildbot.sh b/.buildbot.sh index 8fa94df..c1d0a6d 100644 --- a/.buildbot.sh +++ b/.buildbot.sh @@ -2,10 +2,17 @@ set -e +# We only want checks to really run when a github merge queue pushes a branch. +if [ "${EVENT}" = "pull_request" ]; then + exit 0 +elif [ "${EVENT}" != "push" ]; then + echo "Unknown event. Failing CI" +fi + for i in `seq 30`; do echo $i done echo hi 1 -exit 0 +exit 1