Skip to content

Merge pull request #29 from Halbaroth/fix-odoc #3

Merge pull request #29 from Halbaroth/fix-odoc

Merge pull request #29 from Halbaroth/fix-odoc #3

Triggered via push March 28, 2024 15:02
Status Success
Total duration 4m 2s
Artifacts
build-and-deploy
3m 52s
build-and-deploy
Fit to window
Zoom out
Zoom in