Merge pull request #1055 from wasmerio/fix/arm-ci-should-block-shipping

Add ARM CI to bors's list
This commit is contained in:
Syrus Akbary 2019-12-10 16:15:11 -08:00 committed by GitHub
commit c783b7ce90
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +1,6 @@
status = [ status = [
"wasmerio.wasmer" "wasmerio.wasmer",
"continuous-integration/travis-ci/push"
] ]
required_approvals = 1 required_approvals = 1
timeout_sec = 7200 timeout_sec = 7200