Skip to content

Merge branch 'metrics' into changes_after_v_1_3_0 #72

Merge branch 'metrics' into changes_after_v_1_3_0

Merge branch 'metrics' into changes_after_v_1_3_0 #72

Triggered via push October 3, 2023 13:31
Status Success
Total duration 30m 33s
Artifacts

build.yml

on: push
build-and-run-tests
30m 22s
build-and-run-tests
Fit to window
Zoom out
Zoom in