Wouter Born 49aa537036 GitHub Actions workflow improvements (#11507) ...

* Checkout merged branches for pull requests
* Add support for incremental add-on builds to speed up PR builds
* Echo the mvn command used for builds

Signed-off-by: Wouter Born <github@maindrain.net>

2021-11-04 09:05:39 +01:00

3.1 KiB

Executable File

Raw Blame History

View Raw