From a13fc12ff4aecfd58a51179e11363138227904fe Mon Sep 17 00:00:00 2001 From: Fardale Date: Sat, 22 Jan 2022 21:10:52 +0100 Subject: [PATCH] chore(ci): change ocaml 4.12.x to ocaml 4.13.x --- .github/workflows/gh-pages.yml | 2 +- .github/workflows/main.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 42ae10e0..38242aef 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -15,7 +15,7 @@ jobs: - name: Use OCaml uses: ocaml/setup-ocaml@v2 with: - ocaml-compiler: '4.12.x' + ocaml-compiler: '4.13.x' - name: Pin run: opam pin -n . diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1540b6bd..700f1de6 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -21,7 +21,7 @@ jobs: ocaml-compiler: - '4.03.x' - '4.08.x' - - '4.12.x' + - '4.13.x' runs-on: ${{ matrix.os }} steps: