Skip to content

Merge branch 'develop' into chore/convert-records-again #805

Merge branch 'develop' into chore/convert-records-again

Merge branch 'develop' into chore/convert-records-again #805

Triggered via push October 20, 2024 18:11
Status Success
Total duration 1m 4s
Artifacts
Check if windfiles and scripts match
55s
Check if windfiles and scripts match
Fit to window
Zoom out
Zoom in