PR Labeler

refactor: rename Metrics gear URL /history → /metrics + themed 404 #126

Sign in to view logs

Triggered via pull request May 15, 2026 01:26

sarg3nt

opened #97

feature/rename-metrics-url

Status Success

Total duration 24s

Artifacts –

labeler.yml

on: pull_request

Annotations

1 warning

The process '/usr/bin/git' failed with exit code 128