Skip to content

Merge branch 'develop-varDB-json' into develop. Close #256. #169

Merge branch 'develop-varDB-json' into develop. Close #256.

Merge branch 'develop-varDB-json' into develop. Close #256. #169

Triggered via push February 21, 2025 02:46
Status Success
Total duration 11m 25s
Artifacts
Matrix: cabal
Fit to window
Zoom out
Zoom in