Skip to content
Snippets Groups Projects
Unverified Commit e7657ad3 authored by mergify[bot]'s avatar mergify[bot] Committed by GitHub
Browse files

Merge pull request #10128 from alt-romes/wip/romes/disable-build-tool-depends

Cabal: Add flag to ignore build tool dependencies
parents a4078635 ef56d725
No related branches found
No related tags found
No related merge requests found
Pipeline #97539 passed
Showing
with 91 additions and 25 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment