fix: use correct version of vsce, not outdated one

Author: mhuisi

.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 }}