There's a number of available metrics (CAS can be configured to emit metrics in Prometheus format) which we should collect in Prometheus setup.
https://apereo.github.io/cas/development/monitoring/Configuring-Metrics.html
management.metrics.export.prometheus.enabled=true in cas.properties
Maybe we also need additional, site-specific ones which we could add via mtail.