chore: update Mathlib dependencies 2026-05-04 (leanprover-community#38898)

This PR updates the Mathlib dependencies.

Author: mathlib-update-dependencies[bot]

.github/actions/get-mathlib-ci/action.yml

@@ -10,7 +10,7 @@ inputs:
     # Default pinned commit used by workflows unless they explicitly override.
     # Update this ref as needed to pick up changes to mathlib-ci scripts
     # This is also updated automatically by .github/workflows/update_dependencies.yml
-    default: d7b053bde8ef240c29f6724fa285dc5bb6bbe00a
+    default: 0efe1f98dd7e3b632b596b0360dd01cb7f4bc4c7
   path:
     description: Checkout destination path.
     required: false