Skip to content

Hadrian: ignore in-tree GMP objects with ``--lint``

Sylvain Henry requested to merge hsyl20/ghc:hsyl20-hadrian-lint-gmp into master

We explicitly don't track in-tree GMP objects (#15971 (closed)) so we shouldn't report them with --lint.

Merge request reports