Skip to content

Bump org.eclipse.microprofile.metrics:microprofile-metrics-api from 5.1.0 to 5.1.2 #792

Bump org.eclipse.microprofile.metrics:microprofile-metrics-api from 5.1.0 to 5.1.2

Bump org.eclipse.microprofile.metrics:microprofile-metrics-api from 5.1.0 to 5.1.2 #792

Annotations

4 warnings

build with jdk 17

succeeded Oct 29, 2024 in 40s