chore: do not comment on a PR created from a fork (#1231)

This commit is contained in:
Andrew Tatomyr
2023-08-15 14:29:53 +03:00
committed by GitHub
parent f86d7d6c26
commit 305bdb33f2

View File

@@ -32,13 +32,9 @@ jobs:
env:
CI: true
REDOCLY_TELEMETRY: off
# Test:
- run: |
echo ${{ github.repository }}
echo ${{ github.event.repository.full_name }}
- name: Comment PR
if: github.repository == github.event.repository.full_name
if: ${{ github.event.pull_request.head.repo.full_name == github.repository }}
uses: thollander/actions-comment-pull-request@v2
with:
filePath: benchmark_check.md