message: Patch github version into json creating vsix.
diff: @@ -376,6 +376,10 @@ jobs:
  - name: Build vsix
  run: |
  cd verilog/tools/ls/vscode
  +
  + # Patch the JSON file to contain our current git tag+commit
  + VERSION=$(git describe | sed 's|v\([^-]\+\)-\([[:digit:]]\+\).*|\1.\2|')
  + sed -i 's|\(.*version.*\): "\([^"]\+\)"|\1: "'${VERSION}'"|g' package.json
  npm install
  npm run vsix
  