Closed this issue 7 years ago · 1 comments
We should build develop and also PR branches on new Jenkins. Not sure it's necessary to have an artifact built there (since it would be in other projects), but it'd be nice to have CI verify that PRs & develop build correctly.
develop
Closing in favor of #15