From 2c5b3151c1596a443afec697d23b47d63ee52747 Mon Sep 17 00:00:00 2001 From: Idir Lankri Date: Mon, 17 Apr 2023 17:18:23 +0200 Subject: [PATCH] [ci] Use the latest version of `actions/checkout` To avoid the warning about deprecated Node.js 12 actions. --- .github/workflows/deploy-doc.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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