Skip to content
Back to pull request #491

coordinator: make metrics endpoint configurable #444

Sign in to view logs

coordinator: make metrics endpoint configurable

coordinator: make metrics endpoint configurable #444

Triggered via pull request May 29, 2024 12:30
@davidweissedavidweisse
synchronize #491
feat/coordinator-optional-metrics
Status Success
Total duration 38s
Artifacts –

docs_publish.yml

on: pull_request
Publish docs to GitHub Pages
29s
Publish docs to GitHub Pages
Fit to window
Zoom out
Zoom in