From 2b666a44224b48915c1015802ab4f0662ee12d5c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Sun, 5 Oct 2025 19:21:52 -0700 Subject: [PATCH] CI: Use OCaml 5.3.0 There is currently a problem with OCaml's pprintast/ppxlib in that it generates "raw identifiers" like `\#module` which are not valid in OCaml below 5.2.0 See https://github.com/ocaml/opam-repository/pull/28610#issuecomment-3362301901 for some discussion. I think this will be fixed upstream, but bumping to OCaml 5.3.0 seems useful anyway. (We can also work around it by using `" module"` instead of `"module"` in lib/GenCtypes.ml, but that's nasty.) --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3ba932e20..10f111f2e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -33,7 +33,7 @@ jobs: - name: Setup ocaml uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: 4.14.2 + ocaml-compiler: 5.3.0 - uses: actions/checkout@master with: