mirror of
https://gitea.wildfiregames.com/0ad/0ad.git
synced 2026-07-16 02:55:10 +00:00
wraitii
d751927b89
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. This adds a custom lint printer that is compatible with the plugin expectations. Also delete the coala/ folder forgotten in the original diff. Differential Revision: https://code.wildfiregames.com/D3709 This was SVN commit r25082.