Merge branch 'coverity' into 'master'bb8420f117d27c89a9ae49a374b336e43dc7c1b2
[glib.git] / .gitlab-ci / 
tree786b8ebdb8385cae030f8f67da7fd231cd2a1132
drwxr-xr-x   ..
-rw-r--r-- 1116 Dockerfile
-rwxr-xr-x 1338 android-download-ndk.sh
-rwxr-xr-x 3223 android-setup-env.sh
-rwxr-xr-x 682 coverage-docker.sh
-rw-r--r-- 351 cross_file_mingw64.txt
-rw-r--r-- 863 fixup-cov-paths.py
-rwxr-xr-x 392 run-docker.sh
-rw-r--r-- 568 test-msvc.bat
-rwxr-xr-x 1615 test-msys2.sh