Skip to content

change default port name from 'metrics' to 'http-metrics' #179

change default port name from 'metrics' to 'http-metrics'

change default port name from 'metrics' to 'http-metrics' #179

Triggered via pull request September 17, 2024 14:18
Status Success
Total duration 16s
Artifacts

auto-merge.yml

on: pull_request
automerge
4s
automerge
Fit to window
Zoom out
Zoom in