algorithm/Java
1
0
Fork 0
mirror of https://github.com/TheAlgorithms/Java.git synced 2025-12-19 07:00:35 +08:00
Code Issues Packages Projects Releases Wiki Activity

chore: pin infer to more recent hash (#7079)

Browse Source 
* chore: pin infer to more recent hash

* chore: suppress new infer warnings
This commit is contained in:
Piotr Idzik
2025-11-19 19:31:32 +01:00
committed by GitHub
parent e37a7ab6ce
commit fba6292ebc
2 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/infer.yml vendored
View File

@@ -44,7 +44,7 @@ jobs:
cd ..
git clone https://github.com/facebook/infer.git
cd infer
git checkout 01aaa268f9d38723ba69c139e10f9e2a04b40b1c
git checkout 02c2c43b71e4c5110c0be841e66153942fda06c9
./build-infer.sh java
cp -r infer ../Java