Skip to content

Commit

Permalink
Update compiler and merlin version in pkg and ci
Browse files Browse the repository at this point in the history
  • Loading branch information
voodoos committed Jan 10, 2025
1 parent 91d2cbe commit e17f8e9
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 5 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/build-and-test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -45,11 +45,11 @@ jobs:
- name: Set-up OCaml
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: "ocaml-base-compiler.5.3.0~beta2"
ocaml-compiler: "ocaml-base-compiler.5.3.0"

# Remove this pin once a compatible version of Merlin has been released
- name: Pin dev Merlin
run: opam --cli=2.1 pin --with-version=5.3-503 https://github.com/ocaml/merlin.git#main
run: opam --cli=2.1 pin --with-version=5.4-503 https://github.com/ocaml/merlin.git#main

- name: Build and install dependencies
run: opam install .
Expand Down Expand Up @@ -81,7 +81,7 @@ jobs:
- name: Set-up OCaml
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: "ocaml-base-compiler.5.3.0~beta2"
ocaml-compiler: "ocaml-base-compiler.5.3.0"

- name: Set git user
run: |
Expand Down
2 changes: 1 addition & 1 deletion dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ possible and does not make any assumptions about IO.
(csexp (>= 1.5))
(ocamlformat-rpc-lib (>= 0.21.0))
(odoc :with-doc)
(merlin-lib (and (>= 5.3) (< 6.0)))
(merlin-lib (and (>= 5.4) (< 6.0)))
(ppx_yojson_conv :with-dev-setup)))

(package
Expand Down
2 changes: 1 addition & 1 deletion ocaml-lsp-server.opam
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ depends: [
"csexp" {>= "1.5"}
"ocamlformat-rpc-lib" {>= "0.21.0"}
"odoc" {with-doc}
"merlin-lib" {>= "5.3" & < "6.0"}
"merlin-lib" {>= "5.4" & < "6.0"}
"ppx_yojson_conv" {with-dev-setup}
]
dev-repo: "git+https://github.com/ocaml/ocaml-lsp.git"
Expand Down

0 comments on commit e17f8e9

Please sign in to comment.