diff options
-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 |
index : delta/git.git | ||
github.com: git/git.git |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | ci/lib.sh | 1 |
@@ -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 |