diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 25a2ee04a..d29ca187f 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -20,12 +20,12 @@ jobs: run: sudo apt-get update - name: checkout - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: setup ocaml - uses: avsm/setup-ocaml@v1 + uses: avsm/setup-ocaml@v3 with: - ocaml-version: 4.14.2 + ocaml-compiler: 4.14.2 - name: install deps run: |