Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-09-30 16:49:16 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add --production option to mach (#30707)

Browse source 
* --prod(uction) mach argument

* Use profile in workflows instead of production

* Use profiles in unit tests

* ups

* Build (${{ inputs.profile }})
This commit is contained in:
Samson 2023-11-10 11:38:33 +01:00 • committed by GitHub
parent c78b98252a
commit 96d37d3785
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 90 additions and 71 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/nightly.yml vendored
View file

@ -70,7 +70,7 @@ jobs:
- create-draft-release
uses: ./.github/workflows/windows.yml
with:
production: true
profile: "production"
upload: true
github-release-id: ${{ needs.create-draft-release.outputs.release-id }}
secrets: inherit
@ -83,7 +83,7 @@ jobs:
- create-draft-release
uses: ./.github/workflows/mac.yml
with:
production: true
profile: "production"
upload: true
github-release-id: ${{ needs.create-draft-release.outputs.release-id }}
secrets: inherit
@ -96,7 +96,7 @@ jobs:
- create-draft-release
uses: ./.github/workflows/linux.yml
with:
production: true
profile: "production"
upload: true
github-release-id: ${{ needs.create-draft-release.outputs.release-id }}
secrets: inherit