default tool type to "function" (sometimes APIs omit this from deltas) · wavetermdev/waveterm@0bbf8a0

Triggered via pull request December 11, 2025 02:43

sawka

opened #2662

sawka/fix-type-tools

Status Success

Total duration 8m 36s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze

10 errors and 2 warnings

github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist

github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist

could not import github.com/wavetermdev/waveterm/tsunami/vdom (invalid package name: "")

could not import github.com/wavetermdev/waveterm/tsunami/app (invalid package name: "")

github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist

github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist

could not import github.com/wavetermdev/waveterm/tsunami/vdom (invalid package name: "")

could not import github.com/wavetermdev/waveterm/tsunami/app (invalid package name: "")

github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist

github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist

Cannot create diff range extension pack for diff-informed queries; reverting to performing full analysis.

Error retrieving diff main...wavetermdev:sawka/fix-type-tools: Not Found - https://docs.github.com/rest/commits/commits#compare-two-commits