Mirrors/overte-HifiExperiments
3
0
Fork 0
mirror of https://github.com/HifiExperiments/overte.git synced 2025-08-04 06:24:41 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #1071 from JulianGro/fix_multiple_server_builds

Browse source 
Fix GHA building hundreds of servers
This commit is contained in:
Julian Groß 2024-07-08 12:08:02 +02:00 committed by GitHub
commit ebcd6c09c2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/linux_server_build.yml vendored
View file

@ -26,8 +26,8 @@ env:
jobs: jobs:
build: build:
# Only run master or tagged builds, or PRs if labeled as "server" # Only run master or tagged builds, or PRs when labeled as "server"
if: contains( github.event.pull_request.labels.*.name, 'server') || github.event_name != 'pull_request' if: github.event.label.name == 'server'|| github.event_name != 'pull_request'
name: "${{matrix.os}}, ${{matrix.arch}}" name: "${{matrix.os}}, ${{matrix.arch}}"
strategy: strategy:
matrix: matrix: