-
Notifications
You must be signed in to change notification settings - Fork 156
Update script-servo #676
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Update script-servo #676
Conversation
This should be called |
I was debating that, actually - it's now pretty trivial for us to rename old runs, so we could just rename the old one. But that's probably more hassle than it's worth, so I'll go ahead and update this as you suggest. |
6cea387
to
868488c
Compare
This unifies our CI into one platform
eed4dfc
to
145f725
Compare
This more closely balances CI time between the two builders
488cd5a
to
ef9a984
Compare
It looks like this is likely a regression in build times -- previously I believe we didn't run bindgen on every (commit) of script-servo but now we will. It doesn't look like this is readily changeable either... I'm going to merge this in and deploy to the collector, though, and we'll see how our queue looks like after a few days. If needed we can explore "vendoring" or something. |
Fixes #664