Skip to content

Add support for safe tool renaming #3215

Add support for safe tool renaming

Add support for safe tool renaming #3215

Triggered via pull request December 11, 2025 15:27
Status Success
Total duration 1m 35s
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~DOXKQI.dockerbuild Expired
72.3 KB
sha256:b2f664bfcb5bf56dc535fb816af44496a22ed588eef00054dc51b424e3668b08