Cheers and good to hear that! 🎉 I will also keep in mind that #FFFFFF failures should be a new issue from now on!
Cheers, Cheng-You On Sat, Feb 22, 2020 at 3:09 AM Josh Matthews <j...@joshmatthews.net> wrote: > Hi everyone! I just merged https://github.com/servo/servo/pull/25822 > which _should_ address the frustrating failures from #24726. Over the > past few months it's been easy to get into the habit of assuming that > any Linux WPT failure means the PR should be retried; my request is that > we recalibrate and carefully check them from now on. If there are any > new instances of the #FFFFFFFF failures then please file a new issue > with the details! > > Cheers, > Josh > _______________________________________________ > dev-servo mailing list > dev-servo@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-servo > _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
