From e1ac4b9e4850b76fffc2cf590596aa4d0554952b Mon Sep 17 00:00:00 2001 From: Romain Beauxis Date: Mon, 24 Feb 2025 10:39:03 -0600 Subject: [PATCH] Bump actions. --- .github/workflows/doc.yml | 4 ++-- .github/workflows/main.yml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 34876be..ff763f7 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -12,9 +12,9 @@ jobs: - name: Checkout code uses: actions/checkout@v4 - name: Setup OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: 5.00 + ocaml-compiler: 5.3 - name: Pin locally run: opam pin -y add -n . - name: Install locally diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 2cd11e8..4c452a3 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -7,9 +7,9 @@ jobs: - name: Checkout uses: actions/checkout@v4 - name: Setup OCaml - uses: ocaml/setup-ocaml@v2 + uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: 5.00 + ocaml-compiler: 5.3 - name: Install required packages run: sudo apt install ffmpeg - name: Pin package