gitlab-ci: Implement head.hackage jobs
[ghc.git] / .gitlab / linters /
drwxr-xr-x   ..
-rwxr-xr-x 1019 check-cpp.py
-rwxr-xr-x 570 check-makefiles.py
-rw-r--r-- 3244 linter.py