Bump the checker-framework group with 2 updates #379
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build and Test | |
| permissions: | |
| contents: read | |
| pull-requests: write | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| - improved-macos-support-main | |
| jobs: | |
| test: | |
| strategy: | |
| matrix: | |
| os: | |
| - image: ubuntu-latest | |
| - image: macos-latest | |
| mac-backend: jdk | |
| - image: macos-latest | |
| mac-backend: fsevents | |
| - image: macos-15-intel | |
| mac-backend: fsevents | |
| - image: windows-latest | |
| jdk: [11, 21] | |
| fail-fast: false | |
| runs-on: ${{ matrix.os.image }} | |
| steps: | |
| - uses: actions/checkout@v5 | |
| - run: echo " " >> pom.xml # make sure the cache is slightly different for these runners | |
| - name: Set up JDK | |
| uses: actions/setup-java@v5 | |
| with: | |
| java-version: ${{ matrix.jdk }} | |
| distribution: 'temurin' | |
| cache: 'maven' | |
| - run: ./update-rust-jni-libs.sh -r | |
| if: startsWith(matrix.os.image, 'macos-') | |
| - name: test | |
| run: mvn -B clean test "-Dwatch.mac.backend=${{ matrix.os.mac-backend }}" | |
| env: | |
| DELAY_FACTOR: 3 | |
| - name: Upload coverage to Codecov | |
| uses: codecov/codecov-action@v5 | |
| env: | |
| CODECOV_TOKEN: ${{ secrets.CODECOV_ORG_TOKEN }} | |
| checker-framework: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v5 | |
| - run: echo " " >> pom.xml # make sure the cache is slightly different for the checker framework | |
| - name: Set up JDK 11 | |
| uses: actions/setup-java@v5 | |
| with: | |
| java-version: 11 | |
| distribution: 'temurin' | |
| cache: 'maven' | |
| - run: mvn -B -Pchecker-framework clean compile | |
| lint: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v5 | |
| - name: Set up JDK 11 | |
| uses: actions/setup-java@v5 | |
| with: | |
| java-version: 11 | |
| distribution: 'temurin' | |
| cache: 'maven' | |
| - run: mvn -B license:check | |
| - run: mvn -B editorconfig:check | |
| - run: mvn -B -Dmaven.javadoc.failOnWarnings javadoc:jar -Prelease | |