Skip to content
GitLab
Explore
Sign in
Register
Allow additional arguments to be passed to GHC
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ben Gamari
requested to merge
core-lint
into
master
Jul 08, 2019
Overview
0
Commits
4
Pipelines
4
Changes
5
Expand
This allows us to run validation builds with
-dcore-lint
.
Merge request reports
Loading