main.yml

on:
  pull_request:
    types: [opened, synchronize, edited, reopened]
  push:
  workflow_dispatch:
jobs:
  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@v4
        with:
          node-version: latest
      - name: generate-vscode-extension
        run: |
          npm install -g @types/vscode
          npm install -g vsce 
          make build-vscode-extension
          make publish-vscode-extension
        env:
          PAT: ${{secrets.PAT}}
      - name: publish vscode extension
        uses: actions/upload-artifact@v4
        with: 
          name: assets-for-download
          path: editors/vscode/extensionFolder