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

Slim CI Format job and unpin ocamlformat#4
henrylee97 merged 2 commits into
mainfrom
ci/slim-format-job

Conversation

@henrylee97

Copy link
Copy Markdown
Member

Summary

Trims the CI Format job down to the tooling formatting actually needs, and removes the ocamlformat version pin.

  • Removed the opam install . --deps-only step from the Format job. dune build @fmt only runs ocamlformat and diffs the result — it never compiles the project, so the library dependencies (yojson, etc.) are unused there.
  • ocaml/setup-ocaml@v3 does not install dune, so dune is now installed explicitly alongside the formatter.
  • Dropped the 0.29.0 pin from both the formatter install and the .ocamlformat version field, so formatting tracks the installed ocamlformat rather than a fixed release.

Changes

  • .github/workflows/ci.yml: collapsed the Install dependencies + Install formatter steps into a single Install dune and ocamlformat step (opam install dune ocamlformat).
  • .ocamlformat: removed the version = 0.29.0 line.

Verification

  • opam exec -- dune build @fmt passes locally.
  • The test job is left unchanged (building/running tests still needs the full deps).

henrylee97 and others added 2 commits June 2, 2026 08:15
The Format job ran `opam install . --deps-only`, pulling in the project's
library dependencies. But `dune build @fmt` only runs ocamlformat and diffs;
it never compiles the project, so those libraries are unused there. Replace
the deps install with an explicit `dune` + `ocamlformat` install.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Drop the `0.29.0` pin from both the CI formatter install and the
`.ocamlformat` `version` field so formatting tracks the installed
ocamlformat rather than a fixed release.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@henrylee97 henrylee97 self-assigned this Jun 2, 2026
@henrylee97 henrylee97 added the chore Other things label Jun 2, 2026
@henrylee97 henrylee97 enabled auto-merge (squash) June 2, 2026 08:17
@henrylee97 henrylee97 merged commit a5424a4 into main Jun 2, 2026
2 checks passed
@henrylee97 henrylee97 deleted the ci/slim-format-job branch June 2, 2026 08:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Other things

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant