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

Triggered via pull request March 11, 2025 11:09

synchronize #172

Status Failure

Total duration 30s

Artifacts –

ci.yml

on: pull_request

Matrix: build

11 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.

The job was canceled because "ubuntu-latest" failed.

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.

The operation was canceled.