Upgrade to Micrometer 1.13.15

[bclozel]

See https://github.com/micrometer-metrics/micrometer/milestone/294 and https://github.com/micrometer-metrics/tracing/milestone/102

[github-actions]

Fixed via d0be259