bstein/bstein-dev-home
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ci(metrics): use Pushgateway PUT for suite metric updates

Browse Source
This commit is contained in:
Brad Stein 2026-04-19 16:08:03 -03:00
parent beccdc3959
commit debb49e842
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
testing/ci/summary.py
View File

@ -130,7 +130,7 @@ def publish_quality_metrics(
req = urllib.request.Request( req = urllib.request.Request(
f"{gateway}/metrics/job/{job}/suite/{suite}", f"{gateway}/metrics/job/{job}/suite/{suite}",
data=payload.encode("utf-8"), data=payload.encode("utf-8"),
method="POST", method="PUT",
headers={"Content-Type": "text/plain"}, headers={"Content-Type": "text/plain"},
) )
urllib.request.urlopen(req, timeout=10).read() urllib.request.urlopen(req, timeout=10).read()