checker-framework.yml

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@v4
        with:
          java-version: 11
          distribution: 'temurin'

      - name: Install groovy
        run: sudo apt install groovy

      - name: Checkout
        uses: actions/checkout@v4

      - name: Setup local maven cache
        uses: actions/cache@v4
        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: ./.ci/print-diff-as-patch.sh target/checker-${{ matrix.profile }}.patch

      - name: Share patch as artifact to apply on local
        if: failure()
        uses: actions/upload-artifact@v4
        with:
          name: checker-${{ matrix.profile }}-patch
          path: target/checker-${{ matrix.profile }}.patch
          retention-days: 7