Skip to content

Commit 7b1995f

Browse files
authored
chore: use srz-zumix/setup-infer (TheAlgorithms#7437)
1 parent 0905cbe commit 7b1995f

2 files changed

Lines changed: 4 additions & 29 deletions

File tree

.github/workflows/infer.yml

Lines changed: 3 additions & 29 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@v5
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 02c2c43b71e4c5110c0be841e66153942fda06c9
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: |
@@ -60,5 +34,5 @@ jobs:
6034
- name: Run infer
6135
run: |
6236
mvn clean
63-
infer --fail-on-issue --print-logs --no-progress-bar -- mvn test
37+
infer --java-version 21 --fail-on-issue --print-logs --no-progress-bar -- mvn test
6438
...

.inferconfig

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,7 @@
2121
"src/test/java/com/thealgorithms/datastructures/lists/SkipListTest.java",
2222
"src/test/java/com/thealgorithms/datastructures/trees/KDTreeTest.java",
2323
"src/test/java/com/thealgorithms/datastructures/trees/LazySegmentTreeTest.java",
24+
"src/test/java/com/thealgorithms/dynamicprogramming/DamerauLevenshteinDistanceTest.java",
2425
"src/test/java/com/thealgorithms/others/HuffmanTest.java",
2526
"src/test/java/com/thealgorithms/searches/QuickSelectTest.java",
2627
"src/test/java/com/thealgorithms/stacks/PostfixToInfixTest.java",

0 commit comments

Comments
 (0)