Hi, Am Sonntag, den 19.03.2017, 21:37 -0400 schrieb Reid Barton:
Even if it does, it will take a while to catch up.
Yep, that's why I was eager to get it working again. At least the commits where nofib was broken build a bit faster :)
if you look at https://github.com/nomeata/gipeda/blob/master/ghc/run-speed.sh#L60 you can see that my runner script in in principle capable of fixing some commits in retrospect. We’ll see if it is worth it for this incident. The fix would probably simply consist of rm-rf’ing the spectra/secretary folder, right? Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • https://www.joachim-breitner.de/ XMPP: nomeata@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org