docs: auto-generate per-flag tool lists for insiders and feature flags #1350
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: MCP Server Diff | |
| on: | |
| pull_request: | |
| push: | |
| branches: [main] | |
| tags: ['v*'] | |
| permissions: | |
| contents: read | |
| jobs: | |
| mcp-diff: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check out code | |
| uses: actions/checkout@v6 | |
| with: | |
| fetch-depth: 0 | |
| - name: Set up Go | |
| uses: actions/setup-go@v5 | |
| with: | |
| go-version-file: go.mod | |
| - name: Build UI | |
| uses: ./.github/actions/build-ui | |
| - name: Generate diff configurations | |
| id: configs | |
| # The generator imports pkg/github so any new entry in | |
| # AllowedFeatureFlags is automatically diffed without touching this | |
| # workflow. See script/print-mcp-diff-configs/main.go. | |
| run: | | |
| { | |
| echo 'configurations<<MCP_DIFF_EOF' | |
| go run ./script/print-mcp-diff-configs | |
| echo 'MCP_DIFF_EOF' | |
| } >> "$GITHUB_OUTPUT" | |
| - name: Run MCP Server Diff | |
| uses: SamMorrowDrums/mcp-server-diff@v2.3.5 | |
| with: | |
| setup_go: "false" | |
| install_command: go mod download | |
| start_command: go run ./cmd/github-mcp-server stdio | |
| env_vars: | | |
| GITHUB_PERSONAL_ACCESS_TOKEN=test-token | |
| configurations: ${{ steps.configs.outputs.configurations }} | |
| - name: Add interpretation note | |
| if: always() | |
| run: | | |
| echo "" >> $GITHUB_STEP_SUMMARY | |
| echo "---" >> $GITHUB_STEP_SUMMARY | |
| echo "" >> $GITHUB_STEP_SUMMARY | |
| echo "ℹ️ **Note:** Differences may be intentional improvements." >> $GITHUB_STEP_SUMMARY | |
| echo "" >> $GITHUB_STEP_SUMMARY | |
| echo "Common expected differences:" >> $GITHUB_STEP_SUMMARY | |
| echo "- New tools/toolsets added" >> $GITHUB_STEP_SUMMARY | |
| echo "- Tool descriptions updated" >> $GITHUB_STEP_SUMMARY | |
| echo "- Capability changes (intentional improvements)" >> $GITHUB_STEP_SUMMARY | |
| mcp-diff-http: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check out code | |
| uses: actions/checkout@v6 | |
| with: | |
| fetch-depth: 0 | |
| - name: Set up Go | |
| uses: actions/setup-go@v5 | |
| with: | |
| go-version-file: go.mod | |
| - name: Build UI | |
| uses: ./.github/actions/build-ui | |
| - name: Generate diff configurations | |
| id: configs | |
| # See script/print-mcp-diff-configs/main.go. The http-headers variant | |
| # points every config at a shared HTTP server started by the action | |
| # and carries per-config settings via X-MCP-* headers, mirroring how | |
| # the remote server is invoked in production (server-side defaults + | |
| # per-user header overrides). | |
| run: | | |
| { | |
| echo 'configurations<<MCP_DIFF_EOF' | |
| go run ./script/print-mcp-diff-configs -transport http-headers | |
| echo 'MCP_DIFF_EOF' | |
| } >> "$GITHUB_OUTPUT" | |
| - name: Run MCP Server Diff (streamable-http) | |
| uses: SamMorrowDrums/mcp-server-diff@v2.3.5 | |
| with: | |
| setup_go: "false" | |
| install_command: go mod download | |
| http_start_command: go run ./cmd/github-mcp-server http --port 8082 | |
| http_startup_wait_ms: "5000" | |
| configurations: ${{ steps.configs.outputs.configurations }} | |
| - name: Add interpretation note | |
| if: always() | |
| run: | | |
| echo "" >> $GITHUB_STEP_SUMMARY | |
| echo "---" >> $GITHUB_STEP_SUMMARY | |
| echo "" >> $GITHUB_STEP_SUMMARY | |
| echo "ℹ️ **Note:** This job exercises the streamable-http transport against a shared server, with per-config settings supplied via X-MCP-* request headers." >> $GITHUB_STEP_SUMMARY |