diff options
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/lib.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -138,6 +138,7 @@ then GIT_TEST_OPTS="--no-chain-lint --no-bin-wrappers $GIT_TEST_OPTS" else echo "Could not identify CI type" >&2 + env >&2 exit 1 fi |