Skip to content

Merge pull request #5785 from edwintorok/private/edvint/ocaml5-compat #323

Merge pull request #5785 from edwintorok/private/edvint/ocaml5-compat

Merge pull request #5785 from edwintorok/private/edvint/ocaml5-compat #323

Triggered via push July 8, 2024 09:29
Status Success
Total duration 58s
Artifacts

hugo.yml

on: push
Fit to window
Zoom out
Zoom in