Update workflow job condition

Planeshifter · Planeshifter · commit 5edcc25f7aba · 2022-10-27T09:05:58.000-04:00
diff --git a/.github/workflows/markdown_equations.yml b/.github/workflows/markdown_equations.yml
@@ -39,8 +39,8 @@ jobs:
     # Define a display name:
     name: 'Update equations'
 
-    # Only run this job if the pull request was merged:
-    if: github.event.pull_request.merged == true
+    # Only run this job if the pull request was merged and did not have label `automated-pr`:
+    if: github.event.pull_request.merged == true && contains(github.event.pull_request.labels.*.name, 'automated-pr') == false
 
     # Define the type of virtual host machine:
     runs-on: ubuntu-latest
