Skip to content

Merge remote-tracking branch 'origin/develop' into develop #39

Merge remote-tracking branch 'origin/develop' into develop

Merge remote-tracking branch 'origin/develop' into develop #39

Workflow file for this run

name: PR Review with MCP

Check failure on line 1 in .github/workflows/pr-review.yml

View workflow run for this annotation

GitHub Actions / .github/workflows/pr-review.yml

Invalid workflow file

(Line: 4, Col: 3): Unexpected value 'branches', (Line: 4, Col: 13): A sequence was not expected
on:
branches: [ main ]
issue_comment:
types: [created]
permissions:
contents: read
pull-requests: write
jobs:
pr-validation:
if: github.event.issue.pull_request != '' && contains(github.event.comment.body, '@copilot review')
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Copilot Code Review
run: |
copilot-mcp review . \
--agent copilot-code-reviewer \
--output-format github-pr-comment
- name: Codex Infra Review
run: |
codex-mcp validate infrastructure/ \
--agent infrastructure-configuration-validator \
--output-format github-pr-comment
- name: Security Review
run: |
copilot-mcp analyze security/ \
--agent copilot-security-reviewer \
--output-format github-pr-comment