chore: fix argos workflow (#9601)

facebook · Dec 1, 2023 · 321e674 · 321e674
1 parent 13cd6d4
commit 321e674
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/argos.yml b/.github/workflows/argos.yml
@@ -23,7 +23,7 @@ jobs:
     # Argos is heavy to run
     # We only want to trigger Argos on PRs with the 'Argos' label
     # See https://stackoverflow.com/questions/62325286/run-github-actions-when-pull-requests-have-a-specific-label
-    if: ${{ github.ref_name == 'main' || (github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'Argos')) }}
+    if: ${{ (github.event_name != 'pull_request' && github.ref_name == 'main') || (github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'Argos')) }}
     runs-on: ubuntu-latest
     steps:
       - name: Check out repository code