Mango The Fourth
Mango The Fourth
@HuwCampbell what kind of improvements could I do to this PR such that it can be merged?
Neat. I’ll have a look!
Hi! That's a great idea. Providing contribution instructions using cabal should be trivial, it should already “just work”. I will do that. I probably won’t maintain a stack.yaml though, I...
can you come around? I don’t think the reason has anything to do with the installation, it’s an upstream bug in the security advisories tooling. The PR I have open...
The issue is how `git` outputs dates and how the security-advisories tooling parsers them.
Valgrind is already hidden behind the flag “withGrind” Id say, add the other two in the same fashion and document them in the flag list ;)
I was planning to do this. (Move to ghc gitlab, I already brought it up to date but have yet to set up a proper CI) I would maintain this...
Sadly I think the CI here on GitHub has become useless as it cannot build GHC anymore (I think the container runs out of memory)
See also !3 in the same repo…
@bgamari do you think we should merge the PRs whose CI currently fail but are verified working before moving to the new repo?