Fix name

dafny-lang · Sep 17, 2024 · 9407974 · 9407974
1 parent 71c8d22
commit 9407974
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -31,7 +31,7 @@ jobs:
           node-version: v16.x
       #- run: npm install -g npm@latest
       - run: npm install -g [email protected]
-      - run: npm install -g vscode/[email protected]
+      - run: npm install -g @vscode/[email protected]
       - run: vsce package --out dist/
 
 
@@ -128,7 +128,7 @@ jobs:
         id: get_version
         run: echo ::set-output name=VERSION::${GITHUB_REF/refs\/tags\/v/}
 
-      - run: npm install -g vscode/[email protected]
+      - run: npm install -g @vscode/[email protected]
       - run: vsce publish -p "${MARKETPLACE_TOKEN}" --packagePath dist/${PACKAGE_NAME}-${VERSION}.vsix
         env:
           # Note: Marketplace Token according to: