Skip to content

Add support for safe tool renaming #3211

Add support for safe tool renaming

Add support for safe tool renaming #3211

Triggered via pull request December 11, 2025 15:05
Status Success
Total duration 3m 38s
Artifacts 1

docker-publish.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github~github-mcp-server~22D60A.dockerbuild Expired
70.8 KB
sha256:65489e504ac672671fbb2c487ba33c374d62890b007cc91f25bdd7d918eea77b