10000 Adjust `create_or_update_file` description to try avoid incorrect selection · github/github-mcp-server@b0ee7af · GitHub
[go: up one dir, main page]
Skip to content
Lint

Adjust create_or_update_file description to try avoid incorrect selection #1001

Sign in to view logs

Adjust create_or_update_file description to try avoid incorrect selection

Adjust create_or_update_file description to try avoid incorrect selection #1001

Triggered via pull request May 20, 2025 18:16
@williammartinwilliammartin
synchronize #419
wm/adjust-create-update-file-desc
Status Success
Total duration 32s
Artifacts –

lint.yaml

on: pull_request
lint
25s
lint
Fit to window
Zoom out
Zoom in
0