From 517d4605d572fe2141bdbebbfd55abf54dbaea24 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 3 Jan 2025 12:58:59 -0500 Subject: [PATCH] try to update CI --- .github/workflows/gh-pages.yml | 4 ++-- .github/workflows/main.yml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index fe8218a9..c18dffc9 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -13,9 +13,9 @@ jobs: - uses: actions/checkout@main - name: Use OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: '4.14' + ocaml-compiler: '5.2' dune-cache: false - name: Deps diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index c2fceb3b..d1459b78 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -26,7 +26,7 @@ jobs: steps: - uses: actions/checkout@main - name: Use OCaml ${{ matrix.ocaml-compiler }} - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} dune-cache: true