Skip duplicate Moda CI builds after merge queue (#63670)

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 3f54fbf5-61d3-4bad-acb8-c9166d568794
Copilot-Session: c462fcc6-586e-4858-9e25-7cc27bd7fa50

Author: heiskr

.github/workflows/moda-ci.yaml

@@ -15,6 +15,9 @@ permissions: {}
 
 jobs:
   set-vault-keys:
+    # Merge queue already built and checked this SHA. Repo-sync and admin merges bypass the queue and still build.
+    # The actor check only skips a duplicate build and grants no access.
+    if: ${{ !(github.event_name == 'push' && github.ref == 'refs/heads/main' && github.actor == 'github-merge-queue[bot]') }} # zizmor: ignore[bot-conditions]
     permissions: {}
     runs-on: ubuntu-latest
     outputs: