Bump io.micrometer:micrometer-core from 1.13.0 to 1.13.1 (#513)

Bumps [io.micrometer:micrometer-core](https://github.com/micrometer-metrics/micrometer) from 1.13.0 to 1.13.1.
- [Release notes](https://github.com/micrometer-metrics/micrometer/releases)
- [Commits](micrometer-metrics/micrometer@v1.13.0...v1.13.1)

---
updated-dependencies:
- dependency-name: io.micrometer:micrometer-core
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

settings.gradle.kts

@@ -9,7 +9,7 @@ dependencyResolutionManagement {
     versionCatalogs {
         create("libs") {
             library("lombok", "org.projectlombok:lombok:1.18.32")
-            library("micrometer-core", "io.micrometer:micrometer-core:1.13.0")
+            library("micrometer-core", "io.micrometer:micrometer-core:1.13.1")
             library("reactor-core", "io.projectreactor:reactor-core:3.6.6")
             library("guava", "com.google.guava:guava:33.2.1-jre")
             library("junit-jupiter-api", "org.junit.jupiter:junit-jupiter-api:5.10.2")