From 6b7a30e0e04782df52a89c589da99a84a94f9aaf Mon Sep 17 00:00:00 2001 From: Danny Willems Date: Tue, 7 Jan 2025 11:50:35 +0100 Subject: [PATCH] CI: bump up images --- .github/workflows/docs.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 605863148..349a90992 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -11,12 +11,12 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout Repository - uses: actions/checkout@v2 + uses: actions/checkout@v4 - name: Use OCaml "4.14.0" - uses: avsm/setup-ocaml@v1 + uses: avsm/setup-ocaml@v3 with: - ocaml-version: 4.14.0 + ocaml-compiler: "4.14.0" - name: Build Documentation run: |