fixes metrics exposition bug #246

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-powerset	3m 26s
check-ubuntu-latest	2m 46s
build-ubuntu-latest-release	9m 40s
check-macos-12	6m 25s
audit	2m 49s
build-ubuntu-latest-debug	3m 44s
clippy	3m 14s
build-macos-12-release	19m 24s
rustfmt	18s
smoketest-cache	10m 10s
build-macos-12-debug	6m 18s
clippy-upload	12s
verify all tests pass	0s
	1h 8m 26s