Files
Java/.github/workflows/infer.yml
dependabot[bot] c04607536f chore(deps): bump actions/setup-java from 4 to 5 in /.github/workflows (#6499)
Bumps [actions/setup-java](https://github.com/actions/setup-java) from 4 to 5.
- [Release notes](https://github.com/actions/setup-java/releases)
- [Commits](https://github.com/actions/setup-java/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/setup-java
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Deniz Altunkapan <93663085+DenizAltunkapan@users.noreply.github.com>
2025-08-22 07:51:22 +02:00

65 lines
1.4 KiB
YAML

---
name: Infer
'on':
workflow_dispatch:
push:
branches:
- master
pull_request:
permissions:
contents: read
jobs:
run_infer:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v5
- name: Set up JDK
uses: actions/setup-java@v5
with:
java-version: 21
distribution: 'temurin'
- name: Set up OCaml
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: 5
- name: Get current year/weak
run: echo "year_week=$(date +'%Y_%U')" >> $GITHUB_ENV
- name: Cache infer build
id: cache-infer
uses: actions/cache@v4
with:
path: infer
key: ${{ runner.os }}-infer-${{ env.year_week }}
- name: Build infer
if: steps.cache-infer.outputs.cache-hit != 'true'
run: |
cd ..
git clone https://github.com/facebook/infer.git
cd infer
git checkout 01aaa268f9d38723ba69c139e10f9e2a04b40b1c
./build-infer.sh java
cp -r infer ../Java
- name: Add infer to PATH
run: |
echo "infer/bin" >> $GITHUB_PATH
- name: Display infer version
run: |
which infer
infer --version
- name: Run infer
run: |
mvn clean
infer --fail-on-issue --print-logs --no-progress-bar -- mvn test
...