Skip to content

Attempt to clean up MacOS CI yml a bit#1874

Merged
JasonGross merged 1 commit intomit-plv:masterfrom JasonGross:mac-ci-no-opam-envApr 17, 2024

Commits

Commits on Apr 17, 2024