Bump web-tree-sitter from 0.20.8 to 0.25.3 · model-checking/kani-vscode-extension@d00456f

Triggered via pull request March 11, 2025 00:44

opened #172

Status Failure

Total duration 27s

Artifacts –

ci.yml

on: pull_request

Matrix: build

10 errors

build (ubuntu-latest): node_modules/web-tree-sitter/web-tree-sitter.d.ts#L136

Cannot find name 'EmscriptenModule'.

build (ubuntu-latest): src/ui/sourceCodeParser.ts#L13

Cannot use namespace 'Parser' as a type.

build (ubuntu-latest): src/ui/sourceCodeParser.ts#L14

Property 'init' does not exist on type 'typeof import("web-tree-sitter")'.

build (ubuntu-latest): src/ui/sourceCodeParser.ts#L15

This expression is not constructable.

Process completed with exit code 2.

build (macos-latest): node_modules/web-tree-sitter/web-tree-sitter.d.ts#L136

Cannot find name 'EmscriptenModule'.

build (macos-latest): src/ui/sourceCodeParser.ts#L13

Cannot use namespace 'Parser' as a type.

build (macos-latest): src/ui/sourceCodeParser.ts#L14

Property 'init' does not exist on type 'typeof import("web-tree-sitter")'.

build (macos-latest): src/ui/sourceCodeParser.ts#L15

This expression is not constructable.

Process completed with exit code 2.