Skip to content

Conversation

@samfreund
Copy link
Member

This significantly speeds up the build of the rubik image. This is superceded by #87 if that gets merged first, but it looks like we're somewhat stalled on that one for the time being. Because #87 is stalled, I'm opening this PR so that we can speed up CI in other cases.

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.

1 participant