Skip to content

Commit e7e4948

Browse files
committed
chore: use srz-zumix/setup-infer
1 parent ebf5c3d commit e7e4948

File tree

1 file changed

+2
-28
lines changed

1 file changed

+2
-28
lines changed

.github/workflows/infer.yml

Lines changed: 2 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -23,34 +23,8 @@ jobs:
2323
java-version: 21
2424
distribution: 'temurin'
2525

26-
- name: Set up OCaml
27-
uses: ocaml/setup-ocaml@v3
28-
with:
29-
ocaml-compiler: 5
30-
31-
- name: Get current year/weak
32-
run: echo "year_week=$(date +'%Y_%U')" >> $GITHUB_ENV
33-
34-
- name: Cache infer build
35-
id: cache-infer
36-
uses: actions/cache@v4
37-
with:
38-
path: infer
39-
key: ${{ runner.os }}-infer-${{ env.year_week }}
40-
41-
- name: Build infer
42-
if: steps.cache-infer.outputs.cache-hit != 'true'
43-
run: |
44-
cd ..
45-
git clone https://github.com/facebook/infer.git
46-
cd infer
47-
git checkout 01aaa268f9d38723ba69c139e10f9e2a04b40b1c
48-
./build-infer.sh java
49-
cp -r infer ../Java
50-
51-
- name: Add infer to PATH
52-
run: |
53-
echo "infer/bin" >> $GITHUB_PATH
26+
- name: Set up inferAdd commentMore actions
27+
uses: srz-zumix/setup-infer@v1
5428

5529
- name: Display infer version
5630
run: |

0 commit comments

Comments
 (0)