From 29a92ee340582d9a6026dda317e3c9008819d68b Mon Sep 17 00:00:00 2001 From: xhtmlboi Date: Wed, 15 Nov 2023 15:30:31 +0100 Subject: [PATCH] Update doc deploy.yml --- .github/workflows/deploy.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index e37e8a3..addeff7 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -14,7 +14,7 @@ jobs: - name: Build uses: ocaml/setup-ocaml@v2 with: - ocaml-compiler: 4.12.x + ocaml-compiler: 4.14.x opam-depext-flags: --with-doc - run: opam install . --deps-only --with-doc --with-test