From 994dffe26cdb60549f71fca59aee4df3c0a1958e Mon Sep 17 00:00:00 2001 From: Andrey Popp <8mayday@gmail.com> Date: Fri, 12 Apr 2024 16:12:54 +0300 Subject: [PATCH] .github: disable 4.14 pipeline right now, this is wip --- .github/workflows/main.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b1b682f..17df36b 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -16,7 +16,9 @@ jobs: os: - ubuntu-latest ocaml-compiler: - - "4.14" + # TODO: consider adding support for 4.14, the problem with the merlin + # code right now, we depend on a branch that is not compatible with 4.14 + # - "4.14" - "5.1" runs-on: ${{ matrix.os }}