Allow unknown toolsets to be ignored · github/github-mcp-server@9a6bbc0

Triggered via pull request October 10, 2025 13:08

omgitsads

synchronize #1202

ignore-not-found-tools

Status Success

Total duration 1m 46s

Artifacts 1

docker-publish.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github~github-mcp-server~KZ6E7B.dockerbuild Expired	63 KB	`sha256:b33c1c59fe1e94966cf1b565b70753b1cc52b2ff25d8036c14fe398c30a4430b`