tree e3487e97b71fb10a310780a36c7438f4fb9af242
parent bc32bcd241a9270786a749266ce4f6a5df6d0a6e
author Tim Windelschmidt <tim@monogon.tech> 1734313341 +0100
committer Tim Windelschmidt <tim@monogon.tech> 1734959421 +0000

osbase/supervisor: use MustRegister for metrics registration

Change-Id: I4321c626f210bea025ab27bfecf783425f1482b5
Reviewed-on: https://review.monogon.dev/c/monogon/+/3703
Tested-by: Jenkins CI
Reviewed-by: Lorenz Brun <lorenz@monogon.tech>