Skip to content

Merge pull request #129 from FishingCactus/fix/default_constructors #17

Merge pull request #129 from FishingCactus/fix/default_constructors

Merge pull request #129 from FishingCactus/fix/default_constructors #17

Triggered via push November 19, 2025 12:49
Status Success
Total duration 11s
Artifacts
publish
9s
publish
Fit to window
Zoom out
Zoom in