chore: release version 2023.4

2023-02-17 13:07:22 +01:00
parent 0f38519ecf
commit 19d54dbe95
3 changed files with 15 additions and 1 deletions
--- a/CREATE_RELEASE.md
+++ b/CREATE_RELEASE.md
@ -13,6 +13,7 @@ committers.
 ```
 mvn versions:set 
 << update release notes >>
+mvn verify
 git commit ....
 git tag v2023.01 
 git push --tags