Skip to content

Increase number of decimal places in JSON output #777

Increase number of decimal places in JSON output

Increase number of decimal places in JSON output #777

Triggered via push September 5, 2024 00:33
Status Success
Total duration 17m 38s
Artifacts

windows.yml

on: push
Matrix: build-windows
Fit to window
Zoom out
Zoom in