Mac CI fails consistently on first run
JasonGross opened this issue · 1 comments
JasonGross commented
Can anyone reproduce the (seemingly consistent?) issue that make -j2
fails on Mac OS the first time it's run after a clean checkout? c.f. #1458
Originally posted by @JasonGross in #1394 (comment)
JasonGross commented
This was an issue with sed being different on Mac and interfering with coq-scripts wrapper, now fixed