From 363ab0cc20e776d6487519d46947e97ba1578928 Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Wed, 4 Sep 2024 08:38:44 +0200 Subject: [PATCH] [ci] Bump node to v20 --- .github/workflows/ci-interpreter.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-interpreter.yml b/.github/workflows/ci-interpreter.yml index 8e0f4cb5..5ff197e3 100644 --- a/.github/workflows/ci-interpreter.yml +++ b/.github/workflows/ci-interpreter.yml @@ -27,7 +27,7 @@ jobs: - name: Setup Node.js uses: actions/setup-node@v2 with: - node-version: 19.x + node-version: 20.x - name: Build interpreter run: cd interpreter && opam exec make - name: Run tests