gravel-gateway (cargo): A Prometheus Push Gateway for FAAS applications
Keywords: prometheus|pushgateway|openmetrics