Bump io.micrometer:micrometer-core from 1.12.5 to 1.13.0

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

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

Signed-off-by: dependabot[bot] <support@github.com>

context-propagation-micrometer/pom.xml

@@ -36,7 +36,7 @@
         <project.moduleName>${project.groupId}.metrics</project.moduleName>
         <root.basedir>${project.parent.basedir}</root.basedir>
 
-        <micrometer.version>1.12.5</micrometer.version>
+        <micrometer.version>1.13.0</micrometer.version>
     </properties>
 
     <dependencies>