Wouter Born cd29a16609 GitHub Actions workflow improvements (#2557) ... * Checkout merged branches for pull requests * Echo the mvn command used for builds * Use more functions in maven-build so it is similar to what will be used for add-on builds Signed-off-by: Wouter Born <github@maindrain.net>		2021-11-04 14:36:18 +01:00
..
maven-build	GitHub Actions workflow improvements (#2557)	2021-11-04 14:36:18 +01:00