Skip to content

Delete unnecessary jenkins-settings.xml #7

Delete unnecessary jenkins-settings.xml

Delete unnecessary jenkins-settings.xml #7

Workflow file for this run

name: PR Check
on:
push:
branches:
- main
- 7.[0-9]+.x
paths-ignore:
- 'optaplanner-8-benchmarks/**'
pull_request:
branches:
- main
- 7.[0-9]+.x
paths-ignore:
- 'optaplanner-8-benchmarks/**'
jobs:
pr-check:
name: Java ${{ matrix.java }}
runs-on: ubuntu-latest
strategy:
matrix:
java: [8, 11]
fail-fast: false
steps:
- name: Check out Git repository
uses: actions/checkout@v2
- name: Set up JDK
uses: actions/setup-java@v2
with:
java-version: ${{ matrix.java }}
distribution: adopt
# See https://docs.github.com/en/actions/guides/building-and-testing-java-with-maven#caching-dependencies
- name: Cache Maven packages
uses: actions/cache@v2
with:
path: ~/.m2
key: ${{ runner.os }}-m2-${{ hashFiles('**/pom.xml') }}
restore-keys: ${{ runner.os }}-m2
- name: Maven Build using Java ${{ matrix.java-version }}
run: mvn -B --fail-at-end clean install