Merge pull request #1071 from JulianGro/fix_multiple_server_builds

Fix GHA building hundreds of servers
overte-org · Jul 8, 2024 · ebcd6c0 · ebcd6c0
2 parents 5f5464c + 9c4cfd2
commit ebcd6c0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/linux_server_build.yml b/.github/workflows/linux_server_build.yml
@@ -26,8 +26,8 @@ env:
 
 jobs:
   build:
-    # Only run master or tagged builds, or PRs if labeled as "server"
-    if: contains( github.event.pull_request.labels.*.name, 'server') || github.event_name != 'pull_request'
+    # Only run master or tagged builds, or PRs when labeled as "server"
+    if: github.event.label.name == 'server'|| github.event_name != 'pull_request'
     name: "${{matrix.os}}, ${{matrix.arch}}"
     strategy:
       matrix: