Skip to content

Commit 0f0f5e1

Browse files
authored
chore: add run_infer.yml (TheAlgorithms#5456)
* chore: add `run_infer.yml` * chore: add infer output to `.gitignore`
1 parent 63fa042 commit 0f0f5e1

File tree

3 files changed

+89
-0
lines changed

3 files changed

+89
-0
lines changed

.github/workflows/run_infer.yml

+60
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,60 @@
1+
---
2+
name: run_infer
3+
4+
'on':
5+
workflow_dispatch:
6+
push:
7+
branches:
8+
- master
9+
pull_request:
10+
11+
jobs:
12+
run_infer:
13+
runs-on: ubuntu-latest
14+
steps:
15+
- uses: actions/checkout@v4
16+
17+
- name: Set up JDK
18+
uses: actions/setup-java@v4
19+
with:
20+
java-version: 21
21+
distribution: 'adopt'
22+
23+
- name: Set up OCaml
24+
uses: ocaml/setup-ocaml@v3
25+
with:
26+
ocaml-compiler: 5
27+
28+
- name: Get current year/weak
29+
run: echo "year_week=$(date +'%Y_%U')" >> $GITHUB_ENV
30+
31+
- name: Cache infer build
32+
id: cache-infer
33+
uses: actions/cache@v4
34+
with:
35+
path: infer
36+
key: ${{ runner.os }}-infer-${{ env.year_week }}
37+
38+
- name: Build infer
39+
if: steps.cache-infer.outputs.cache-hit != 'true'
40+
run: |
41+
cd ..
42+
git clone https://github.com/facebook/infer.git
43+
cd infer
44+
./build-infer.sh java
45+
cp -r infer ../Java
46+
47+
- name: Add infer to PATH
48+
run: |
49+
echo "infer/bin" >> $GITHUB_PATH
50+
51+
- name: Display infer version
52+
run: |
53+
which infer
54+
infer --version
55+
56+
- name: Run infer
57+
run: |
58+
mvn clean
59+
infer --fail-on-issue --print-logs --no-progress-bar -- mvn test
60+
...

.gitignore

+2
Original file line numberDiff line numberDiff line change
@@ -42,3 +42,5 @@ local.properties
4242
gradle.properties
4343
.vscode
4444
*.log
45+
46+
/infer-out/

.inferconfig

+27
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
{
2+
"report-block-list-path-regex": [
3+
"src/main/java/com/thealgorithms/ciphers/a5/CompositeLFSR.java",
4+
"src/main/java/com/thealgorithms/conversions/RomanToInteger.java",
5+
"src/main/java/com/thealgorithms/conversions/UnitsConverter.java",
6+
"src/main/java/com/thealgorithms/datastructures/crdt/GCounter.java",
7+
"src/main/java/com/thealgorithms/datastructures/crdt/PNCounter.java",
8+
"src/main/java/com/thealgorithms/datastructures/graphs/KahnsAlgorithm.java",
9+
"src/main/java/com/thealgorithms/datastructures/heaps/GenericHeap.java",
10+
"src/main/java/com/thealgorithms/datastructures/lists/DoublyLinkedList.java",
11+
"src/main/java/com/thealgorithms/datastructures/trees/CreateBinaryTreeFromInorderPreorder.java",
12+
"src/main/java/com/thealgorithms/divideandconquer/ClosestPair.java",
13+
"src/main/java/com/thealgorithms/dynamicprogramming/Fibonacci.java",
14+
"src/main/java/com/thealgorithms/maths/NthUglyNumber.java",
15+
"src/main/java/com/thealgorithms/maths/SimpsonIntegration.java",
16+
"src/main/java/com/thealgorithms/others/Dijkstra.java",
17+
"src/main/java/com/thealgorithms/sorts/TopologicalSort.java",
18+
"src/main/java/com/thealgorithms/strings/AhoCorasick.java",
19+
"src/test/java/com/thealgorithms/datastructures/caches/LRUCacheTest.java",
20+
"src/test/java/com/thealgorithms/datastructures/lists/SkipListTest.java",
21+
"src/test/java/com/thealgorithms/datastructures/trees/KDTreeTest.java",
22+
"src/test/java/com/thealgorithms/datastructures/trees/LazySegmentTreeTest.java",
23+
"src/test/java/com/thealgorithms/searches/QuickSelectTest.java",
24+
"src/test/java/com/thealgorithms/stacks/PostfixToInfixTest.java",
25+
"src/test/java/com/thealgorithms/strings/HorspoolSearchTest.java"
26+
]
27+
}

0 commit comments

Comments
 (0)