Skip to content

Disable Mill libraries #8351

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

Merged
merged 1 commit into from
Feb 24, 2020
Merged

Disable Mill libraries #8351

merged 1 commit into from
Feb 24, 2020

Conversation

anatoliykmetyuk
Copy link
Contributor

GH actions don't digest them well fttb

@anatoliykmetyuk
Copy link
Contributor Author

@anatoliykmetyuk
Copy link
Contributor Author

anatoliykmetyuk commented Feb 20, 2020

#8352 has passed so maybe the mill libs are not to blame after all. I've disabled the lampsrv43 runners since that machine has resources worth of a laptop and clearly is not meant to be used as a server. The previous slowdowns were due to that machine. Evidently drone uses that machine as a master, to dispatch the tasks to the other machines.

@anatoliykmetyuk
Copy link
Contributor Author

The merge tests for #8352 passed as well: https://github.com/lampepfl/dotty/runs/458109863

This indicates that caching may not be at fault with the Mill lib failures but lack of resources. We should wait a couple of days and see whether the community build failure issue manifests itself again and hopefully close this PR.

GH actions don't digest them well fttb
@anatoliykmetyuk
Copy link
Contributor Author

Mill tests currently fail non-deterministically. So it's best that we drop them for now so that they don't block the CI migration. We can debug them separately after the higher-priority CI migration issue is resolved.

@nicolasstucki nicolasstucki merged commit 3e68e93 into master Feb 24, 2020
@nicolasstucki nicolasstucki deleted the anatoliykmetyuk-patch-2 branch February 24, 2020 17:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants