Skip to content

Merge branch 'release/v0.2.5' #312

Merge branch 'release/v0.2.5'

Merge branch 'release/v0.2.5' #312

Triggered via push December 21, 2023 08:45
Status Success
Total duration 2m 14s
Artifacts
Matrix: continuous-integration-static-type-checking
Fit to window
Zoom out
Zoom in