Skip to content

Merge branch 'main' into develop #1037

Merge branch 'main' into develop

Merge branch 'main' into develop #1037

Workflow file for this run

name: tests
on: [ push,pull_request ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: (1/4) Checkout the repository
uses: actions/checkout@v2
- name: (2/4) Set up JDK 17
uses: actions/setup-java@v1
with:
java-version: '17'
- name: (3/4) Cache Maven packages
uses: actions/cache@v2
with:
path: ~/.m2
key: ${{ runner.os }}-m2-${{ hashFiles('**/pom.xml') }}
restore-keys: ${{ runner.os }}-m2
- name: (4/4) Build with Maven
run: mvn -Dmaven.wagon.http.ssl.insecure=true -Dmaven.wagon.http.ssl.allowall=true -Dmaven.javadoc.skip=True --batch-mode --update-snapshots package