From cf607ecc8a46217b7b016bec0297b0c0d306e857 Mon Sep 17 00:00:00 2001
From: Alidra <40537601+Alidra@users.noreply.github.com>
Date: Wed, 6 Mar 2024 13:20:28 +0100
Subject: [PATCH] Fix Dependabot/GitHub actions/actions/upload artifact 4
 (#1065)

* fix/pipeline/vscode : use a dedicated job to generate the vscode extension

* feat/pipeline/vscode : use nodejs version 20 instead of 16
---
 .github/workflows/main.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 6e8e7b27e..b4e2f8066 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -4,7 +4,7 @@ on:
   push:
   workflow_dispatch:
 jobs:
-  build:
+  build_lambdapi:
     strategy:
       fail-fast: false
       matrix:
@@ -34,8 +34,15 @@ jobs:
           eval $(opam env)
           #why3 config detect
           make tests
+  build_vscode_extension:
+    strategy:
+      fail-fast: false
+    runs-on: ubuntu-latest
+    steps:
+      - name: checking out lambdapi repo ...
+        uses: actions/checkout@v4
       - name: Use Node.js
-        uses: actions/setup-node@v3
+        uses: actions/setup-node@v4
         with:
           node-version: latest
       - name: generate-vscode-extension