Skip to content

merge main to production #1892

merge main to production

merge main to production #1892

Workflow file for this run

name: CI
on:
pull_request:
branches: [ main, production ]
push:
branches: [ main, production ]
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
jobs:
build:
name: Build
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
ecosystem: [adoptium, adoptopenjdk]
steps:
- name: Setup mvnw arguments
run: |
case ${{ matrix.ecosystem }} in
adoptium) echo "ARGS=-Padoptium,-adoptopenjdk" >> $GITHUB_ENV ;;
adoptopenjdk) echo "ARGS=-Padoptopenjdk,-adoptium" >> $GITHUB_ENV ;;
esac
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
persist-credentials: false
- uses: actions/setup-java@8df1039502a15bceb9433410b1a100fbe190c53b # v4.5.0
with:
java-version: '21'
distribution: 'temurin'
cache: 'maven'
- name: Build app
run: ./mvnw --batch-mode clean install ${{ env.ARGS }}