Skip to content
Do Not Merge on GitHub

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

Sign in to view logs

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

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

Re-run triggered July 8, 2026 04:18
@rohityanrohityan
#6300
Oxygen56:fix-skill-toolset-script-tool-exposure
Status Failure
Total duration 9s
Artifacts –

block-merge.yml

on: pull_request
maintainers will submit via Copybara
4s
maintainers will submit via Copybara
Fit to window
Zoom out
Zoom in

Annotations

2 errors
maintainers will submit via Copybara
Process completed with exit code 1.
GitHub merge is disabled
Do NOT merge this pull request on GitHub. A maintainer will land the change internally, and Copybara will sync it back to this repository automatically.