fix: replace deprecated Tomcat servlet mapping API

11ec49d

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

DCO

DCO

Detect API Changes on: pull_request_target

detect-api-changes

API Diff on: pull_request

api-diff

Java-Version Compatibility Tests on: pull_request

Test on Java 17

Test on Java 21

Test on Java 25

CodeQL Security Analysis on: pull_request

Analyze Java

Test Build Release on: pull_request

build

Micrometer Compatibility on: pull_request

upstream

typed-descriptor

micrometer-compatibility

GraalVM Native Tests on: pull_request

native-tests

OpenTelemetry Acceptance Tests on: pull_request

acceptance-tests

JMX Exporter Compatibility on: pull_request

jmx-exporter-compatibility

Java 8

Java 11

Java 17

Java 21

Java 25

Lint on: pull_request

lint

Build on: pull_request

build

Code scanning results

CodeQL

DCO / DCO succeeded Aug 19, 2026 in 0s

DCO

All commits are signed off!

Loading