Branch: refs/heads/master
Home: https://github.com/pmd/pmd
Commit: d276b024075a510880c6c25a25364932c0ad117f
https://github.com/pmd/pmd/commit/d276b024075a510880c6c25a25364932c0ad117f
Author: Andreas Dangel <[email protected]>
Date: 2019-11-01 (Fri, 01 Nov 2019)
Changed paths:
M do-release.sh
Log Message:
-----------
[ci] Build with profile "generate-rule-docs" while preparing release
This should prevent us from releasing PMD with some
errors in release notes / rule docs.
_______________________________________________
Pmd-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/pmd-commits
