add: Publish GHC runtime metrics to Prometheus metrics endpoint

2026-05-03 11:41:02 +00:00
parent c09394517d
commit 85d91e5c0a
7 changed files with 78 additions and 2 deletions
@@ -84,6 +84,7 @@ def run(
    configpath=None,
    stdin=None,
    env=None,
+    args=None,
    port=None,
    admin_port=None,
    host=None,
@@ -122,6 +123,9 @@ def run(
        command = [POSTGREST_BIN]
        env["HPCTIXFILE"] = hpctixfile()

+        if args:
+            command.extend(args)
+
        if configpath:
            command.append(configpath)