Skip to content

Merge branch 'dev' into main #11

Merge branch 'dev' into main

Merge branch 'dev' into main #11

Workflow file for this run

name: Java test
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up JDK 11
uses: actions/setup-java@v3
with:
java-version: '11'
distribution: 'temurin'
cache: maven
- name: test with Maven
working-directory: tool/
run: mvn test