diff --git a/ci/lib.sh b/ci/lib.sh index b939110a6e..e7a8942589 100755 --- a/ci/lib.sh +++ b/ci/lib.sh @@ -319,6 +319,7 @@ export SKIP_DASHED_BUILT_INS=YesPlease # enable "expensive" tests for PR events. # In order to catch bugs introduced at integration time by mismerges, # enable the long tests for pushes to the integration branches as well. +test -z "$MSYSTEM" || case "$GITHUB_EVENT_NAME,$CI_BRANCH" in pull_request,*|push,*next*|push,*master*|push,*main*|push,*maint*) export GIT_TEST_LONG=YesPlease