fix(deps): update dependency org.eclipse.platform:org.eclipse.core.runtime to v3.31.100

[mend-for-github-com]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
org.eclipse.platform:org.eclipse.core.runtime (source)	3.30.0 -> 3.31.100

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 81.57%. Comparing base (02a3209) to head (85f5088).
Report is 9 commits behind head on main.

❗ Current head 85f5088 differs from pull request most recent head aec5e93

Please upload reports for the commit aec5e93 to get more accurate results.

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #257      +/-   ##
============================================
- Coverage     81.62%   81.57%   -0.06%     
+ Complexity      216      211       -5     
============================================
  Files            13       13              
  Lines          1083     1069      -14     
  Branches        149      146       -3     
============================================
- Hits            884      872      -12     
  Misses          140      140              
+ Partials         59       57       -2     

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