diff options
| author | Junio C Hamano <gitster@pobox.com> | 2023-12-09 16:37:48 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-12-09 16:37:48 -0800 |
| commit | b4e6618fdf3bbcdcae9340b694f80770ba5a3261 (patch) | |
| tree | 39abc6a07ca5c3ca78f7e89241f22b69a949d2e4 | |
| parent | Merge branch 'ps/ci-gitlab' (diff) | |
| parent | ci: avoid running the test suite _twice_ (diff) | |
| download | git-b4e6618fdf3bbcdcae9340b694f80770ba5a3261.tar.gz git-b4e6618fdf3bbcdcae9340b694f80770ba5a3261.zip | |
Merge branch 'js/ci-discard-prove-state'
The way CI testing used "prove" could lead to running the test
suite twice needlessly, which has been corrected.
* js/ci-discard-prove-state:
ci: avoid running the test suite _twice_
| -rwxr-xr-x | ci/lib.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -281,7 +281,7 @@ else fi MAKEFLAGS="$MAKEFLAGS --jobs=$JOBS" -GIT_PROVE_OPTS="--timer --jobs $JOBS --state=failed,slow,save" +GIT_PROVE_OPTS="--timer --jobs $JOBS" GIT_TEST_OPTS="$GIT_TEST_OPTS --verbose-log -x" case "$CI_OS_NAME" in |