Allow unknown toolsets to be ignored · github/github-mcp-server@480beaa

Triggered via pull request October 10, 2025 12:53

omgitsads

synchronize #1202

ignore-not-found-tools

Status Success

Total duration 1m 31s

Artifacts 1

docker-publish.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github~github-mcp-server~Q4H1LR.dockerbuild Expired	60.8 KB	`sha256:6b1f7d8bccaaa2a5bbd046fe209de3aa44a1fe85da00575dd09737754ed8e8bb`