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

Auto merge of #28600 - servo:jdm-patch-52, r=jdm

Browse source 
Remove arm64 builds from required successes.

This is a workaround for #28599 to allow us to continue to merge PRs.
This commit is contained in:
bors-servo 2021-09-14 10:15:26 -04:00 • committed by GitHub
commit 72a80b5a0d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.github/workflows/main.yml vendored
View file

@ -259,7 +259,6 @@ jobs:
needs: needs:
- "build-win" - "build-win"
- "build-uwp-x64" - "build-uwp-x64"
- "build-uwp-arm64"
- "build-linux" - "build-linux"
- "build-mac" - "build-mac"
- "linux-wpt" - "linux-wpt"