Merge branch 'jk/jump-quickfix-fixes'
[git/gitster.git] / ci / 
treec85b3c5434bcd7bccf56385a72f465ae02e64032
drwxr-xr-x   ..
-rwxr-xr-x 1285 check-directional-formatting.bash
-rwxr-xr-x 2331 check-whitespace.sh
drwxr-xr-x - config
-rwxr-xr-x 4534 install-dependencies.sh
-rwxr-xr-x 9778 lib.sh
-rwxr-xr-x 223 make-test-artifacts.sh
-rwxr-xr-x 505 mount-fileshare.sh
-rwxr-xr-x 2665 print-test-failures.sh
-rwxr-xr-x 433 run-build-and-minimal-fuzzers.sh
-rwxr-xr-x 1329 run-build-and-tests.sh
-rwxr-xr-x 513 run-static-analysis.sh
-rwxr-xr-x 863 run-style-check.sh
-rwxr-xr-x 554 run-test-slice.sh
-rwxr-xr-x 1202 test-documentation.sh
drwxr-xr-x - util