civodul pushed a change to branch main.
from 3665686 register: Add ‘--build-expiry’.
new 8aeccee build: Delete cuirass/forges/*.go upon ‘make clean’.
new 2b29471 metrics: Distinguish specification names from other strings.
new 96811bd metrics: ‘db-get-metric’ returns #f if not found.
new 5798906 metrics: Add ‘db-remove-specification-metrics’.
new 10d4e5b base: Remove specification metrics when removing a jobset.
Summary of changes:
Makefile.am | 1 +
src/cuirass/base.scm | 9 +++++++-
src/cuirass/metrics.scm | 59 +++++++++++++++++++++++++++++++++++++++----------
tests/metrics.scm | 7 ++++++
4 files changed, 63 insertions(+), 13 deletions(-)
