Skip to content

chore(github): Change tool permission path #2932

chore(github): Change tool permission path

chore(github): Change tool permission path #2932

Triggered via pull request February 18, 2026 15:44
Status Success
Total duration 10s
Artifacts
check_for_issue_reference
6s
check_for_issue_reference
Fit to window
Zoom out
Zoom in