@devpodio/metrics

Theia - Metrics Extension

Usage no npm install needed!

<script type="module">
  import devpodioMetrics from 'https://cdn.skypack.dev/@devpodio/metrics';
</script>

README

Theia Metrics Extensions

This extension provides metrics for theia using the prometheus API.

See here for a detailed documentation.

License