The CI wasn't properly reporting linting, as it turns out the output of arc lint --output json is not what the Jenkins plugin expects. Instead of hacking with jq ( jq -c '[to_entries][0][0] | .key as $key | .value[] + { "path": $key }' .phabricator-lint > tmp && mv tmp .phabricator-lint ), we can just have a custom printer.
Also need to remember to delete the coala/ folder in svn.
See also: