[skip ci] Fix RVM build#11771
Closed
areusch wants to merge 1 commit into
Closed
Conversation
Contributor
|
Built docs for commit b1d705d1d1326e7b94481da1a4210544ac1242b2 can be found here. |
leandron
requested changes
Jun 20, 2022
leandron
left a comment
leandron
left a comment
Contributor
There was a problem hiding this comment.
Just for the sake of consistency, while I acknowledge you fix is trivial, and shouldn't do any harm to the code base, I don't think the usage of the [skip ci] here applies within the agreed rules, given this change is not "un-breaking" CI.
Can you rename this PR and trigger CI again, so that we preserve the usage to the accepted/agreed use cases?
Contributor
|
cc @driazati |
Member
|
This is a duplicate of this one: |
Contributor
Author
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
3 participants
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.
Fix missing apt-install-and-clear utility clobbered by #11753.
Skipping ci because nothing in this PR is tested in CI.
cc @mehrdadh