fix/pipeline/vscode : use a dedicated job to generate the vscode exte…

…nsion
Alidra · Mar 5, 2024 · 402e4e4 · 402e4e4
1 parent 96b6282
commit 402e4e4
Showing 1 changed file with 8 additions and 1 deletion.
diff --git 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,6 +34,13 @@ 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
         with: