ci(metrics): use Pushgateway PUT to replace stale suite metrics

This commit is contained in:
Brad Stein 2026-04-19 16:08:02 -03:00
parent e2f754dd53
commit 6d78c60970

View File

@ -75,7 +75,7 @@ def _post_text(url: str, payload: str) -> None:
req = urllib.request.Request(
url,
data=payload.encode("utf-8"),
method="POST",
method="PUT",
headers={"Content-Type": "text/plain"},
)
with urllib.request.urlopen(req, timeout=10) as resp: