From b40f07fa79f9072354fac5f89f0ac67d11ab30bf Mon Sep 17 00:00:00 2001
From: mhuisi <mhuisi@protonmail.com>
Date: Wed, 18 Oct 2023 14:06:36 +0200
Subject: [PATCH] fix: use correct version of vsce, not outdated one

---
 .github/workflows/on-push.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/on-push.yml b/.github/workflows/on-push.yml
index 975998d5f..3c4854730 100644
--- a/.github/workflows/on-push.yml
+++ b/.github/workflows/on-push.yml
@@ -63,7 +63,7 @@ jobs:
         if: ${{ startsWith(github.ref, 'refs/tags/v') && !endsWith(github.ref, '-pre') && matrix.os == 'ubuntu-latest' }}
         run: |
           cd vscode-lean4
-          npx vsce publish -i lean4-*.vsix
+          npx @vscode/vsce publish -i lean4-*.vsix
           npx ovsx publish lean4-*.vsix
         env:
           OVSX_PAT: ${{ secrets.OVSX_PAT }}
@@ -73,7 +73,7 @@ jobs:
         if: ${{ startsWith(github.ref, 'refs/tags/v') && endsWith(github.ref, '-pre') && matrix.os == 'ubuntu-latest' }}
         run: |
           cd vscode-lean4
-          npx vsce publish --pre-release -i lean4-*.vsix
+          npx @vscode/vsce publish --pre-release -i lean4-*.vsix
           npx ovsx publish --pre-release lean4-*.vsix
         env:
           OVSX_PAT: ${{ secrets.OVSX_PAT }}