
3 Feb
2019
3 Feb
'19
8:56 a.m.
It has been established today that Marge is failing to run in batch
mode for some reason which means it takes at least as long as CI takes
to complete for each commit to be merged. The rate is about 4
commits/day with the current configuration.
On Sat, Feb 2, 2019 at 7:57 PM Sebastian Graf
Hi,
Am Sa., 2. Feb. 2019 um 16:09 Uhr schrieb Matthew Pickering
: All the other flavours should be run once the commit reaches master.
Thoughts?
That's even better than my idea of only running them as nightlies. In favor!
Cheers,
Matt _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs