frankenphp
introduces worker name option, use label on worker metrics instead
#1376

Merged

introduces worker name option, use label on worker metrics instead #1376

dunglas merged 7 commits into php:main from metrics-label

withinboredom requested changes on 2025-02-15

withinboredom commented on 2025-02-18

dunglas commented on 2025-03-03

AlliBalliBaba commented on 2025-03-16

dunglas requested changes on 2025-03-19

add worker name option and use it in logs and metrics, update tests

cf0b0345

fix missing reference for collector

bf1ac3f2

update tests

53d458bb

update docs

d62fe0c5

fix conflict

626e0b03

add missing allowedDirectives

36b0853b

update tests

f228de7a

dunglas approved these changes on 2025-03-22

dunglas merged 87315a19 into main 1 year ago

IndraGunawan deleted the metrics-label branch 1 year ago

Reviewers

dunglas

withinboredom

AlliBalliBaba

Assignees

No one assigned

Labels

None yet

Milestone

No milestone