Skip to content

Generalized measurement types for lengths and weights #47

Generalized measurement types for lengths and weights

Generalized measurement types for lengths and weights #47

Triggered via push December 21, 2023 12:43
Status Success
Total duration 16s
Artifacts

ci.yaml

on: push
buf-lint
5s
buf-lint
diagrams
0s
diagrams
bsr-push-draft
0s
bsr-push-draft
Fit to window
Zoom out
Zoom in