-
Notifications
You must be signed in to change notification settings - Fork 13.3k
ci: split the dist-ohos job #141036
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
base: master
Are you sure you want to change the base?
ci: split the dist-ohos job #141036
Conversation
@bors try |
ci: split the dist-ohos job try-job: `dist-ohos-*`
⌛ Trying commit 839534e with merge 591cdade90347ca281d574f419a5406c33400d57... |
☀️ Try build successful - checks-actions |
@rustbot ready |
Seems pretty straightforward, thanks. I wonder why the ohos dist builders build src tarballs, but apparently multiple dist builders do that, even though it should be only done on x86-64. Anyway, that's a separate thing. @bors r+ rollup |
ci: split the dist-ohos job try-job: `dist-ohos-*`
ci: split the dist-ohos job try-job: `dist-ohos-*`
This job is slow. We want to split it to make it faster.
Plus, we remove one large runner from CI.
r? @Kobzol
try-job:
dist-ohos-*