Add flexibility around server instructions for search-related tools · github/github-mcp-server@a5fd807

Triggered via pull request October 6, 2025 15:26

synchronize #1181

Status Success

Total duration 1m 34s

Artifacts 1

docker-publish.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github~github-mcp-server~RR94XK.dockerbuild Expired	60.7 KB	`sha256:70185379ef22f1bc322d224f5481c62cd36afd260ae39bb81e77c16adb3c29d7`