5b0e48b6

Make lint-xml slightly more robust (#1713)

Detect failures on piped commands and enusre public/ is a dir
GitHub
Time to Start Worker time Duration Time to finish Idle
Config 8m18s 1m19s 1m19s 9m38s 8m18s
Eval - - - - 1h09m24s
Build - - - - -
Suite 8m18s 1m19s - - 1h17m42s