chore: use srz-zumix/setup-infer

[vil02]

Infer v.1.3.0 was finally released so we can significantly simplify the infer setup.

I think it makes sense now to add Infer / run_infer to the required workflows in the branch protection rules

Some related PRs:

• chore: add run_infer.yml #5456
• fix: use last known working commit for infer to avoid build failure #6257
• chore: pin infer to more recent hash #7079

Infer raised such warning before suppressing it in .inferconfig

src/test/java/com/thealgorithms/dynamicprogramming/DamerauLevenshteinDistanceTest.java:140: error: Null Dereference(NULLPTR_DEREFERENCE)
  The call to `int DamerauLevenshteinDistance.distance(String,String)` in turn calls `void DamerauLevenshteinDistance.fillTable(String,String,int[][],Map)` and may trigger the following issue: null (from the call to `DamerauLevenshteinDistance.distance(...)` on line 140) is dereferenced in the call to `DamerauLevenshteinDistance.distance(...)`. 
  138.       void testSingleCharacterStrings() {
  139.           assertEquals(1, DamerauLevenshteinDistance.distance("a", "b"));
  140. >         assertEquals(0, DamerauLevenshteinDistance.distance("a", "a"));
  141.           assertEquals(2, DamerauLevenshteinDistance.distance("a", "abc"));
  142.       }


Found 1 issue
             Issue Type(ISSUED_TYPE_ID): #
  Null Dereference(NULLPTR_DEREFERENCE): 1

• 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 algorithms include a corresponding test class that validates their functionality.
• All new code is formatted with clang-format -i --style=file path/to/your/file.java

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 79.70%. Comparing base (0905cbe) to head (378caa4).

Additional details and impacted files

@@             Coverage Diff              @@
##             master    #7437      +/-   ##
============================================
- Coverage     79.71%   79.70%   -0.02%     
+ Complexity     7274     7273       -1     
============================================
  Files           802      802              
  Lines         23700    23700              
  Branches       4661     4661              
============================================
- Hits          18893    18889       -4     
- Misses         4054     4055       +1     
- Partials        753      756       +3     

☔ 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.

[DenizAltunkapan]

thanks ;)