Open ndmitchell opened 6 years ago
CC @pepeiborra
So that was the reason !
Maybe the ticket should belong in the Hoed repo. Part of these are already addressed by my last PR, but it isn't merged yet.
I've disabled the documentation check for debug temporarily
Specifically there are no docs for:
My checking script complains, which explains the Travis GHC 8.2 error.