Theia Metrics Extensions
This extension provides metrics for theia using the prometheus API.
See here for a detailed documentation.
@wiptheia/metrics
0.3.101529329103 • Public • PublishedPackage Sidebar
Install
npm i @wiptheia/metrics
Repository
Homepage
Weekly Downloads
28
Version
0.3.101529329103
License
Apache-2.0
Unpacked Size
31.8 kB
Total Files
38