Skip to content

fix padding for header buttons (tailwind regression) #5898

fix padding for header buttons (tailwind regression)

fix padding for header buttons (tailwind regression) #5898

Triggered via pull request October 18, 2025 01:03
Status Success
Total duration 8m 2s
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