Skip to content

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

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

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

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