Skip to content
Docker

Update docs generation to populate correct docs, remove redundant docs #3379

Sign in to view logs

Update docs generation to populate correct docs, remove redundant docs

Update docs generation to populate correct docs, remove redundant docs #3379

Triggered via pull request December 17, 2025 15:15
@tommaso-morotommaso-moro
opened #1634
tommy/clean-up-docs
Status Success
Total duration 1m 50s
Artifacts 1

docker-publish.yml

on: pull_request
build
1m 45s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github~github-mcp-server~W11S2T.dockerbuild
69.7 KB
sha256:79e2cca672623447b80430d8801efe570d2fd75a3ec0d024326b8cf78eb9bac9