Skip to content

Commit 370e881

Browse files
committed
chore: chache infer build
1 parent 57bd055 commit 370e881

File tree

1 file changed

+18
-1
lines changed

1 file changed

+18
-1
lines changed

.github/workflows/run_infer.yml

Lines changed: 18 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,11 +30,28 @@ jobs:
3030
cd ..
3131
git clone https://github.com/facebook/infer.git
3232
33+
- name: Cache infer build
34+
id: cache-infer
35+
uses: actions/cache@v4
36+
with:
37+
path: ../infer
38+
key: ${{ runner.os }}-infer-${{ hashFiles('../infer/.git/logs/HEAD') }}
39+
3340
- name: Build infer
41+
if: steps.cache-infer.outputs.cache-hit != 'true'
3442
run: |
3543
cd ../infer
3644
./build-infer.sh java
37-
sudo make install
45+
46+
- name: Add infer to PATH
47+
run: |
48+
cd ../infer
49+
export PATH=$(pwd)/infer/bin:$PATH
50+
51+
- name: Display infer version
52+
run: |
53+
which infer
54+
infer --version
3855
3956
- name: Run infer
4057
run: |

0 commit comments

Comments
 (0)