Skip to content

Commit e00e555

Browse files
authored
Always run find-comment in CompareMPS, whether it fails or not (#1191)
This ensures that looks for earlier comments even if there was a failure
1 parent 385195c commit e00e555

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/CompareMPS.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -89,7 +89,7 @@ jobs:
8989
' >> body.md
9090
echo "::warning title=MPS files are different::$(cat body.md)"
9191
- name: Find Comment
92-
if: github.event.pull_request.head.repo.full_name == github.repository
92+
if: always() && github.event.pull_request.head.repo.full_name == github.repository
9393
uses: peter-evans/find-comment@v3
9494
id: find-comment
9595
with:

0 commit comments

Comments
 (0)