Skip to content

Add GitHub Actions CI: build, test, docs on OCaml 5 - #1

Merged
tiensonqin merged 1 commit into
mainfrom
devin/1790100184-add-ci
Sep 22, 2026
Merged

tiensonqin merged 1 commit into
mainfrom
devin/1790100184-add-ci

Conversation

@tiensonqin

Copy link
Copy Markdown
Contributor

Summary

Adds .github/workflows/ci.yml — the repo previously had no CI. On pushes to main and on PRs, a single build job on ubuntu-latest:

  • ocaml/setup-ocaml@v3 with ocaml-compiler: "5" (latest OCaml 5.x) and dune-cache: true; setup-ocaml also caches the opam root/switch automatically.
  • opam install . --deps-only --with-test, plus opam install melange odoc — melange is required because src/dune declares (modes native byte melange) and dune-project has (using melange 0.1); odoc is needed for @doc.
  • opam exec -- dune build (compiles all three modes), dune runtest, dune build @doc.

Verified locally on OCaml 5.5.1: deps install, full build including the melange mode, 19/19 alcotest tests pass, and @doc builds clean.

Link to Devin session: https://app.devin.ai/sessions/2470dfae4d7d4949971b8a58d50ba0cc
Open in Devin Desktop: https://app.devin.ai/desktop/session/2470dfae4d7d4949971b8a58d50ba0cc?variant=devin
Requested by: @tiensonqin

Copilot AI lite review requested due to automatic review settings September 22, 2026 18:04
@devin-ai-integration

Copy link
Copy Markdown

I'll fix CI failures and address comments. I'll skip comments containing "(aside)".

  • Disable automatic comment, CI, and merge conflict monitoring

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@tiensonqin
tiensonqin merged commit 48a4a4d into main Sep 22, 2026
2 checks passed
@tiensonqin
tiensonqin deleted the devin/1790100184-add-ci branch September 22, 2026 18:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants