From 9af14ad15852bf2a3586f9ead39c04f3e928c348 Mon Sep 17 00:00:00 2001 From: claudio Date: Fri, 19 Apr 2024 15:02:35 +0100 Subject: [PATCH] update node.js --- .github/workflows/set-up-environment.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml index 8cfd0ae..80502c8 100644 --- a/.github/workflows/set-up-environment.yml +++ b/.github/workflows/set-up-environment.yml @@ -10,7 +10,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Check out repository code - uses: actions/checkout@v3 + uses: actions/checkout@v4 - name: Use OCaml uses: ocaml/setup-ocaml@v2 with: