Theia Metrics Extensions
This extension provides metrics for theia using the prometheus API.
See here for a detailed documentation.
@devpodio/metrics
0.6.3 • Public • PublishedPackage Sidebar
Install
npm i @devpodio/metrics
Repository
Homepage
Weekly Downloads
1
Version
0.6.3
License
EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
Unpacked Size
47.3 kB
Total Files
47