feat: metrics (#92)

* feat(stages): `stage.progress` metric

* docs: metrics
This commit is contained in:
Bjerg
2022-10-24 15:16:45 +02:00
committed by GitHub
parent 8bc8bd6820
commit 65247ef203
9 changed files with 121 additions and 2 deletions

View File

@ -2,5 +2,5 @@
This directory contains documentation for contributors.
- [Repository and project structure](./repo)
- [Design documents](./design)
- [Repository and Project Structure](./repo)
- [Design](./design)