add token to publish flow (#111)

model-checking · Jun 12, 2023 · c6c3b11 · c6c3b11
1 parent cedebd6
commit c6c3b11
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -52,4 +52,4 @@ jobs:
         env:
           MARKETPLACE_TOKEN: ${{ secrets.MARKETPLACE_TOKEN }}
           VERSION: ${{ steps.get_version.outputs.VERSION }}
-        run: npx vsce publish --packagePath kani-vscode-extension-${VERSION}.vsix
+        run: npx vsce publish -p "${MARKETPLACE_TOKEN}" --packagePath kani-vscode-extension-${VERSION}.vsix