Skip to content
AI Moderator

VSCode: Toolset name mismatch: 'github/*' fails with Unknown tool, but 'github' warns it's deprecated #812

Sign in to view logs

VSCode: Toolset name mismatch: 'github/*' fails with Unknown tool, but 'github' warns it's deprecated

VSCode: Toolset name mismatch: 'github/*' fails with Unknown tool, but 'github' warns it's deprecated #812

Triggered via issue December 8, 2025 10:18
@aviitaaviita
commented on #1402 82c4930
Status Success
Total duration 13s
Artifacts –

moderator.yml

on: issue_comment
spam-detection
9s
spam-detection
Fit to window
Zoom out
Zoom in