[CI] Don't have CI pass when make fails but make a second time succeeds#1458
Draft
JasonGross wants to merge 1 commit intomit-plv:masterfrom JasonGross:error-earlier
+2-3
make fails but make a second time succeeds#1458