diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml index 2206210..1a035ca 100644 --- a/.github/workflows/deploy-doc.yml +++ b/.github/workflows/deploy-doc.yml @@ -13,7 +13,7 @@ jobs: run: sudo apt-get install -y libgdbm-compat-dev - name: Checkout code - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Use OCaml 4.12.x uses: ocaml/setup-ocaml@v2