From d3513c929d8a68189c0af334c73453e3b19ec1c8 Mon Sep 17 00:00:00 2001
From: Deniz Altunkapan <deniz.altunkapan@outlook.com>
Date: Tue, 3 Jun 2025 17:05:50 +0200
Subject: [PATCH] fix: use last known working commit for facebook/infer to
 avoid CI build failure

---
 .github/workflows/infer.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/infer.yml b/.github/workflows/infer.yml
index a07c6f458083..ffadd13ff3bd 100644
--- a/.github/workflows/infer.yml
+++ b/.github/workflows/infer.yml
@@ -41,6 +41,7 @@ jobs:
           cd ..
           git clone https://github.com/facebook/infer.git
           cd infer
+          git checkout 01aaa268f9d38723ba69c139e10f9e2a04b40b1c
           ./build-infer.sh java
           cp -r infer ../Java