Skip to content

Merge branch 'release/v0.2.5' #257

Merge branch 'release/v0.2.5'

Merge branch 'release/v0.2.5' #257

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