You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Have top level clean remove entire generated output directory.
Have check script look for either old or new PASSED|FAILED lines - I realize supporting both introduces a level of ambiguity. Supposedly we have enough control over this to reduce the likelihood to zero.
Have the check target dependent on the generated output directory.
0 commit comments