Skip to content

fix(tools): hide skill script tool when no scripts exist #1546

fix(tools): hide skill script tool when no scripts exist

fix(tools): hide skill script tool when no scripts exist #1546

Triggered via pull request July 8, 2026 04:16
@rohityanrohityan
synchronize #6300
Status Success
Total duration 13s
Artifacts

github_actions_scan.yml Required

on: pull_request_target
check-changes
9s
check-changes
zizmor-config
0s
zizmor-config
zizmor-scan
zizmor-scan
zizmor-output
zizmor-output
zizmor-upload
zizmor-upload
Fit to window
Zoom out
Zoom in