Merge branch 'master' into fix/deploy-hardhat-update

OffchainLabs · Oct 11, 2023 · 116046a · 116046a
2 parents eb6af97 + c2ff67a
commit 116046a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -48,7 +48,9 @@ jobs:
           echo "format-check-result=$?" >> $GITHUB_OUTPUT
       
       - name: Output formatting error
-        if: steps.prettier-check.outputs.format-check-result == 1
+        if: |
+          steps.prettier-check.outputs.format-check-result == 1 &&
+          github.event.pull_request.head.repo.full_name == github.repository
         uses: actions/github-script@v6
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}