fix: use last known working commit for infer to avoid build failure

[DenizAltunkapan]

• I have read CONTRIBUTING.md.
• This pull request is all my own work -- I have not plagiarized it.
• All filenames are in PascalCase.
• All functions and variable names follow Java naming conventions.
• All new algorithms have a URL in their comments that points to Wikipedia or other similar explanations.
• All new code is formatted with clang-format -i --style=file path/to/your/file.java

The current build of facebook/infer is failing (see) , which causes our GitHub Actions workflow to fail as well. To temporarily stabilize our CI pipeline, this PR pins facebook/infer to the last known working commit.

Once the upstream issue is resolved and the build is stable again, I will update our workflow to use the latest version and open a new Pull Request accordingly.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 73.98%. Comparing base (2320b46) to head (d3513c9).

Additional details and impacted files

@@             Coverage Diff              @@
##             master    #6257      +/-   ##
============================================
- Coverage     73.98%   73.98%   -0.01%     
+ Complexity     5346     5345       -1     
============================================
  Files           677      677              
  Lines         18652    18652              
  Branches       3621     3621              
============================================
- Hits          13800    13799       -1     
  Misses         4294     4294              
- Partials        558      559       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.