Skip to content

Merge r/14.x into r/15.x #502

Merge r/14.x into r/15.x

Merge r/14.x into r/15.x #502

name: Test configuration
on:
pull_request:
paths:
- 'etc/**'
- 'docs/checkstyle/check-config.sh'
- '**/pom.xml'
push:
paths:
- 'etc/**'
- 'docs/checkstyle/check-config.sh'
- '**/pom.xml'
jobs:
main:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v4
- name: check configuration
run: ./docs/checkstyle/check-config.sh