Add MCP server registry UI: version management, structured server.json, tools, compare view, aliases, and tags #359
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
| # A workflow to validate at least one release-note category is selected | |
| name: release-note | |
| on: | |
| pull_request: | |
| types: | |
| - opened | |
| - synchronize | |
| - reopened | |
| - labeled | |
| - unlabeled | |
| # post-merge job requires write access to add a label and post a comment. | |
| pull_request_target: | |
| types: | |
| - closed | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| defaults: | |
| run: | |
| shell: bash | |
| permissions: {} | |
| jobs: | |
| validate-labeled: | |
| if: (github.event.pull_request.draft == false || github.event.pull_request.user.login == 'Copilot' && github.event.pull_request.user.type == 'Bot') && github.event.action != 'closed' | |
| runs-on: ubuntu-slim | |
| permissions: | |
| pull-requests: read # validateLabeled looks at PR's labels | |
| timeout-minutes: 5 | |
| steps: | |
| - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 | |
| with: | |
| persist-credentials: false | |
| sparse-checkout: | | |
| .github | |
| - name: validate-labeled | |
| uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0 | |
| with: | |
| retries: 3 | |
| script: | | |
| // https://github.com/actions/github-script#run-a-separate-file | |
| const script = require("./.github/workflows/release-note.js"); | |
| await script.validateLabeled({ core, context, github }); | |
| post-merge: | |
| if: github.event.action == 'closed' && github.event.pull_request.merged == true | |
| runs-on: ubuntu-slim | |
| timeout-minutes: 5 | |
| permissions: | |
| pull-requests: write # postMerge labels PRs | |
| steps: | |
| - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 | |
| with: | |
| persist-credentials: false | |
| sparse-checkout: | | |
| .github | |
| - name: post-merge | |
| uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0 | |
| with: | |
| retries: 3 | |
| script: | | |
| // https://github.com/actions/github-script#run-a-separate-file | |
| const script = require("./.github/workflows/release-note.js"); | |
| await script.postMerge({ context, github }); |