iframe-proxy | Sunbelt Computer Software

64 lines (53 loc) · 1.36 KB

name: Infer
  workflow_dispatch:
    branches:
      - master
  pull_request:
permissions:
  contents: read
  run_infer:
    runs-on: ubuntu-latest
      - uses: actions/checkout@v6
      - 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@v5
        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 02c2c43b71e4c5110c0be841e66153942fda06c9
          ./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

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

infer.yml

Latest commit

History

infer.yml

File metadata and controls