From a2a6312eb148b2cb9cb5b6d147fd409ed8cdadfd Mon Sep 17 00:00:00 2001 From: zach Date: Tue, 3 Oct 2023 11:19:24 -0700 Subject: [PATCH] ci: use ocaml 5.1 --- .github/workflows/docs.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 54cba3f..bb8d865 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -30,7 +30,7 @@ jobs: uses: ocaml/setup-ocaml@v2 with: dune-cache: true - ocaml-compiler: "5.x" + ocaml-compiler: "5.1" - run: opam install . --deps-only --with-test --with-doc shell: bash @@ -44,7 +44,7 @@ jobs: - name: Upload artifact uses: actions/upload-pages-artifact@v2 with: - path: '_build/default/_doc/_html' + path: './_build/default/_doc/_html' - name: Deploy to GitHub Pages id: deployment uses: actions/deploy-pages@v2