Skip to content

ci: add OCaml 5.3#100

Open
liyishuai wants to merge 1 commit into
masterfrom
ci-5.3
Open

ci: add OCaml 5.3#100
liyishuai wants to merge 1 commit into
masterfrom
ci-5.3

Conversation

Copilot AI review requested due to automatic review settings June 30, 2025 08:49
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

Adds OCaml 5.3.x to the CI build matrix so the repository is tested against the latest OCaml release.

  • Updated the OCaml versions matrix to include 5.3.x

@liyishuai liyishuai enabled auto-merge (squash) June 30, 2025 08:49
@liyishuai liyishuai force-pushed the ci-5.3 branch 5 times, most recently from 9976e42 to f168461 Compare July 7, 2025 08:32
@liyishuai liyishuai force-pushed the ci-5.3 branch 3 times, most recently from a8fbf8d to adc5763 Compare July 14, 2025 06:28
@pmetzger
Copy link
Copy Markdown
Member

Should this be merged? I don't know why some of the CI stuff failed.

@liyishuai
Copy link
Copy Markdown
Member Author

The CI facilities have changed, and I'm trying to reduce the skipped dependants by tuning the scripts. Need more rounds of tweaking.

@liyishuai liyishuai force-pushed the ci-5.3 branch 3 times, most recently from 5532ce5 to 86929bf Compare February 22, 2026 01:03
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.

3 participants