Skip to content

Merge branch 'master' into g #1028

Merge branch 'master' into g

Merge branch 'master' into g #1028

Workflow file for this run

name: Java CI
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Set up Maven
uses: stCarolas/[email protected]
with:
maven-version: 3.9.4
- uses: actions/checkout@v3
- uses: graalvm/setup-graalvm@v1
with:
java-version: '21'
distribution: graalvm
cache: 'maven'
github-token: ${{ secrets.GITHUB_TOKEN }}
- name: Build with Maven
run: mvn -batch-mode clean install -Ppre --file pom.xml