Add custom metrics
Changelog:
- Add custom metrics #57
This change adds a HTTP server on port 8081 to serve the /metrics route with RED metrics on invocations etc.
Changelog:
This change adds a HTTP server on port 8081 to serve the /metrics route with RED metrics on invocations etc.