Skip to content

Remove embedded docsite, always use live docs.waveterm.dev #6033

Remove embedded docsite, always use live docs.waveterm.dev

Remove embedded docsite, always use live docs.waveterm.dev #6033

Triggered via pull request November 4, 2025 18:06
Status Success
Total duration 7m 20s
Artifacts

codeql.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

10 errors
Analyze (go)
github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist
Analyze (go)
github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist
Analyze (go)
could not import github.com/wavetermdev/waveterm/tsunami/vdom (invalid package name: "")
Analyze (go)
could not import github.com/wavetermdev/waveterm/tsunami/app (invalid package name: "")
Analyze (go)
github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist
Analyze (go)
github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist
Analyze (go)
could not import github.com/wavetermdev/waveterm/tsunami/vdom (invalid package name: "")
Analyze (go)
could not import github.com/wavetermdev/waveterm/tsunami/app (invalid package name: "")
Analyze (go)
github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist
Analyze (go)
github.com/wavetermdev/waveterm/tsunami@v0.0.0-00010101000000-000000000000: replacement directory /Users/mike/work/waveterm/tsunami does not exist