Skip to content

Merge branch 'main' into updatedocusaurus #187

Merge branch 'main' into updatedocusaurus

Merge branch 'main' into updatedocusaurus #187

Workflow file for this run

name: Continuous Integration
on: [ push ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up JDK
uses: actions/setup-java@v3
with:
java-version: '21'
distribution: 'temurin'
cache: maven
- name: Build with Maven
run: mvn -B package --file pom.xml