diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 23cf7ebee..98e66c6ba 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -46,7 +46,7 @@ jobs: - name: Use OCaml uses: ocaml/setup-ocaml@v2 with: - ocaml-compiler: 4.12.x + ocaml-compiler: 4.14.x - name: Use Node.js uses: actions/setup-node@v3 diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 27170d6cf..1bd145c19 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -25,7 +25,7 @@ Thanks for your interest. Below is an informal spec of how the plugin's server c ## Install Dependencies - Run `npm install` at the root. This will also install the npm modules for both the `client` and `server` folders. -- `opam switch 4.12.0` (if you haven't created the switch, do it). OPAM [here](https://opam.ocaml.org). This is needed for the `analysis` folder, which is native code. +- `opam switch 4.14.0` (if you haven't created the switch, do it). OPAM [here](https://opam.ocaml.org). This is needed for the `analysis` folder, which is native code. - Optionally, you can `opam install ocamlformat` and format the `.ml` files in `analysis`. ## Build & Run