From 402e4e4d9e153d5c601744093ebbf86342a9a8fc Mon Sep 17 00:00:00 2001 From: Abdelghani ALIDRA Date: Tue, 5 Mar 2024 16:09:53 +0100 Subject: [PATCH 1/2] fix/pipeline/vscode : use a dedicated job to generate the vscode extension --- .github/workflows/main.yml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6e8e7b27e..713cbb9ae 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,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: From cd9fde72720c69b4a3cd41d6a678a38f377e21e4 Mon Sep 17 00:00:00 2001 From: Abdelghani ALIDRA Date: Tue, 5 Mar 2024 16:48:30 +0100 Subject: [PATCH 2/2] feat/pipeline/vscode : use nodejs version 20 instead of 16 --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 713cbb9ae..b4e2f8066 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -42,7 +42,7 @@ jobs: - 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