6 Pull requests merged by 2 people

• Bump jetty-server.version from 12.0.19 to 12.0.20

  #1345 merged May 5, 2025

• Fix release

  #1344 merged May 5, 2025

• fix lint

  #1343 merged May 5, 2025

• Fix

  #1342 merged May 5, 2025

• add release.yml

  #1341 merged May 5, 2025

• fix gh pages, add super linter

  #1338 merged Apr 30, 2025

2 Pull requests opened by 2 people

• Introduce removeIf method to StatefulMetric

  #1339 opened Apr 30, 2025

• Synchronize common files from prometheus/prometheus

  #1340 opened Apr 30, 2025

1 Issue opened by 1 person

• Documentation pages are broken

  #1346 opened May 5, 2025