Skip to content

Slim CI Format job and unpin ocamlformat - #4

Merged
henrylee97 merged 2 commits into
mainfrom
ci/slim-format-job
Jun 2, 2026
Merged

henrylee97 merged 2 commits into
mainfrom
ci/slim-format-job

Commits

  1. Commits on Jun 2, 2026