Skip to content
Back to pull request #8

Plugins: Chore: Renamed instrumentation middleware to metrics middleware #3

Sign in to view logs

Plugins: Chore: Renamed instrumentation middleware to metrics middleware

Plugins: Chore: Renamed instrumentation middleware to metrics middleware #3

Annotations

1 error

Add 'pr/external' label if the PR is external

Add 'pr/external' label if the PR is external
failed Nov 15, 2025 in 5s