Skip to content

Move CI to GitHub Actions #1

Move CI to GitHub Actions

Move CI to GitHub Actions #1

Workflow file for this run

name: CI
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Set up JDK
uses: actions/setup-java@v3
with:
java-version: '8'
distribution: 'temurin'
- name: Build
run: mvn --batch-mode verify