A few head.hackage fixes
The CI infrastructure, which was previously on the head.hackage's gitlab-ci-nix branch, is now on master.
Moreover, we now have the ability to compile with -dcore-lint (see head.hackage!4 (merged)).
The CI infrastructure, which was previously on the head.hackage's gitlab-ci-nix branch, is now on master.
Moreover, we now have the ability to compile with -dcore-lint (see head.hackage!4 (merged)).