Skip to content
Snippets Groups Projects

Allow additional arguments to be passed to GHC

Merged Ben Gamari requested to merge core-lint into master

This allows us to run validation builds with -dcore-lint.

Merge request reports

Pipeline #8107 passed

Pipeline passed for 1512c1b9 on core-lint

Approval is optional

Merged by Ben GamariBen Gamari 5 years ago (Jul 9, 2019 12:56pm UTC)

Loading

Pipeline #8138 failed

Pipeline failed for f18a9015 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading