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>
This commit is contained in:
Wouter Born
2021-11-04 14:36:18 +01:00
committed by GitHub
parent 4bc8027461
commit cd29a16609
2 changed files with 34 additions and 19 deletions
+7
View File
@@ -24,8 +24,15 @@ jobs:
runs-on: ${{ matrix.os }}
steps:
- name: Checkout
if: github.head_ref == ''
uses: actions/checkout@v2
- name: Checkout merge
if: github.head_ref != ''
uses: actions/checkout@v2
with:
ref: refs/pull/${{github.event.pull_request.number}}/merge
- name: Set up Cache
uses: actions/cache@v2
with: