Skip to content

Remove embedded docsite, always use live docs.waveterm.dev (#2503) #6041

Remove embedded docsite, always use live docs.waveterm.dev (#2503)

Remove embedded docsite, always use live docs.waveterm.dev (#2503) #6041

Triggered via push November 4, 2025 22:09
Status Success
Total duration 7m 11s
Artifacts

codeql.yml

on: push
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