Skip to content

Merge pull request #6307 from kit-ty-kate/no-default-ocaml-system #401

Merge pull request #6307 from kit-ty-kate/no-default-ocaml-system

Merge pull request #6307 from kit-ty-kate/no-default-ocaml-system #401

Triggered via push February 25, 2025 18:01
Status Success
Total duration 16s
Artifacts

scripts.yml

on: push
hygiene-scripts
4s
hygiene-scripts
Fit to window
Zoom out
Zoom in