Fix and enforce validation of header for .hie files
[ghc.git] / .circleci /
drwxr-xr-x   ..
-rw-r--r-- 11333 config.yml
-rwxr-xr-x 409 fetch-submodules.sh
-rwxr-xr-x 2315 prepare-system.sh
-rwxr-xr-x 2206 push-test-metrics.sh