Skip to content

Add profile checkbox to enable/disable tooltips #2942

Add profile checkbox to enable/disable tooltips

Add profile checkbox to enable/disable tooltips #2942

Annotations

1 warning

Verify shell script (Bash) coding style

succeeded Jan 8, 2025 in 18s
Set up job
1s
Run actions/checkout@v4
1s
Check .sh with shellcheck
1s
Install shfmt
12s
Check .sh with shfmt
1s
Post Run actions/checkout@v4
0s
Complete job
0s