[release/1.6] ci: Use Vagrant on ubuntu-latest-4-cores#9332
Merged
samuelkarp merged 1 commit intorelease/1.6from Nov 4, 2023
Merged
[release/1.6] ci: Use Vagrant on ubuntu-latest-4-cores#9332samuelkarp merged 1 commit intorelease/1.6from
samuelkarp merged 1 commit intorelease/1.6from
Conversation
ed44294 to
5758377
Compare
075d15f to
b0d695f
Compare
Member
|
Opened #9334 for the flake |
b0d695f to
7c642aa
Compare
Member
|
Wow; 13m for a Vagrant run. That's a huge improvement |
7c642aa to
0eabbbd
Compare
This Vagrant on Mac job has been broken for a while. Instead this change moves Vagrant to larger Linux workers that provide nested virtualization. Our main branch did something similar (moving to Cirrus CI to larger GitHub-hosted runners) already as #8919. Signed-off-by: Kazuyoshi Kato <[email protected]>
0eabbbd to
0985f7a
Compare
samuelkarp
approved these changes
Nov 4, 2023
AkihiroSuda
approved these changes
Nov 4, 2023
Member
|
Merging anyway, tracking the CI failure in #9334. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This Vagrant on Mac job has been broken for a while. Instead this change moves Vagrant to larger Linux workers that provide nested virtualization.
Our main branch did something similar (moving to Cirrus CI to larger GitHub-hosted runners) already as #8919.