Bump web-tree-sitter from 0.20.8 to 0.25.3#172

dependabot[bot] wants to merge 1 commit intomainmodel-checking/kani-vscode-extension:mainfrom

dependabot/npm_and_yarn/web-tree-sitter-0.25.3model-checking/kani-vscode-extension:dependabot/npm_and_yarn/web-tree-sitter-0.25.3Copy head branch name to clipboard