Skip to content

fix padding for header buttons (tailwind regression) (#2458) #5901

fix padding for header buttons (tailwind regression) (#2458)

fix padding for header buttons (tailwind regression) (#2458) #5901

Triggered via push October 20, 2025 17:09
Status Success
Total duration 7m 42s
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