From 3e7e02239732062439d3f8a0333e97734e24b633 Mon Sep 17 00:00:00 2001 From: Max Lang <17551908+just-max@users.noreply.github.com> Date: Wed, 17 Apr 2024 02:21:27 +0200 Subject: [PATCH] github actions --- .github/workflows/odoc.yml | 9 ++++++--- .github/workflows/test.yml | 2 +- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/.github/workflows/odoc.yml b/.github/workflows/odoc.yml index 2b1ecab..6aff022 100644 --- a/.github/workflows/odoc.yml +++ b/.github/workflows/odoc.yml @@ -15,13 +15,16 @@ jobs: - name: Checkout tree uses: actions/checkout@v3 - - name: Set-up OCaml 5.1 + - name: Set-up OCaml 5.1.1 uses: ocaml/setup-ocaml@v2 with: - ocaml-compiler: "5.1" + ocaml-compiler: "5.1.1" dune-cache: true - name: Deploy odoc to GitHub Pages - uses: ocaml/setup-ocaml/deploy-doc@v2 + # last version of setup-ocaml with deploy-doc + # TODO: https://github.com/ocaml/setup-ocaml/blob/master/EXAMPLES.md + # #using-the-official-github-pages-actions-to-deploy-odoc-to-github-pages + uses: ocaml/setup-ocaml/deploy-doc@v2.1.8 with: destination-dir: ${{ github.head_ref || github.ref_name }} diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index cd3a527..68aa5df 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -17,7 +17,7 @@ jobs: os: - ubuntu-latest ocaml-compiler: - - "5.1" + - "5.1.1" runs-on: ${{ matrix.os }}