Skip to content

Commit 3317971

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

File tree

1 file changed

+20
-1
lines changed

1 file changed

+20
-1
lines changed

.github/workflows/run_infer.yml

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,11 +30,30 @@ 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@v3
36+
with:
37+
path: ../infer
38+
key: ${{ runner.os }}-infer-${{ hashFiles('../infer/**') }}
39+
restore-keys: |
40+
${{ runner.os }}-infer-
41+
3342
- name: Build infer
43+
if: steps.cache-infer.outputs.cache-hit != 'true'
3444
run: |
3545
cd ../infer
3646
./build-infer.sh java
37-
sudo make install
47+
48+
- name: Add infer to PATH
49+
run: |
50+
cd ../infer
51+
export PATH=$(pwd)/infer/bin:$PATH
52+
53+
- name: Display infer version
54+
run: |
55+
which infer
56+
infer --version
3857
3958
- name: Run infer
4059
run: |

0 commit comments

Comments
 (0)