Skip to content

Issue #11214: Specify violation messages for EmptyForInitializerPadCh… #2

Issue #11214: Specify violation messages for EmptyForInitializerPadCh…

Issue #11214: Specify violation messages for EmptyForInitializerPadCh… #2

name: Checker
on:
push:
branches:
- master
pull_request:
branches: '*'
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
check:
if: github.repository == 'checkstyle/checkstyle'
strategy:
fail-fast: false
matrix:
profile: [
nullness-optional-interning,
methods-resource-fenum,
lock-tainting,
index,
formatter,
signature-gui-units-init,
regex-property-key-compiler-message,
purity-value-returns,
]
runs-on: ubuntu-latest
steps:
- name: Set up JDK 11
uses: actions/setup-java@v1
with:
java-version: 11
- name: Install groovy
run: sudo apt install groovy
- name: Checkout
uses: actions/checkout@v4
- name: Setup local maven cache
uses: actions/cache@v3
with:
path: ~/.m2/repository
key: checkstyle-maven-cache-${{ hashFiles('**/pom.xml') }}
- name: Execute checker framework
env:
MAVEN_OPTS: "-Xmx4g"
run: groovy ./.ci/checker-framework.groovy checker-${{ matrix.profile }}
- name: Git Diff on fail
if: failure()
run: git diff && git diff > target/checker-${{ matrix.profile }}.patch
- name: Share patch as artifact to apply on local
if: failure()
uses: actions/upload-artifact@v3
with:
name: checker-${{ matrix.profile }}-patch
path: target/checker-${{ matrix.profile }}.patch
retention-days: 7