Skip to content
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

Remove detritus from CI image #1384

Merged
merged 1 commit into from
Dec 12, 2023

Conversation

khk-globus
Copy link
Contributor

@khk-globus khk-globus commented Dec 12, 2023

Safety is pedantically correct, if overzealous, and the provided image in ubuntu-latest contains some extra pre-installed packages. This appears to amount to a situation where pip does not properly remove an old version of an updated package. In this case, pip itself. So ... help it along by manually removing the offending package.

Hopefully, this will become a non-issue shortly once the image is updated again -- a transient error. Meanwhile, we have a new CI cruft of our own (rm -rf ...)

Type of change

  • Bug fix (non-breaking change that fixes an issue)
  • Code maintenance/cleanup

(With thanks to @kurtmckee for the pointer!)

Safety is pedantically correct, if overzealous, and the provided image in
ubuntu-latest contains some extra pre-installed packages.  This appears to
amount to a situation where pip does not properly remove an old version of an
updated package.  In this case, `pip` itself.  So ... help it along by manually
removing the offending package.

Hopefully, this will become a non-issue shortly once the image is updated again
-- a transient error.  Meanwhile, we have a new CI cruft of our own (`rm -rf
...`)
@khk-globus khk-globus added no-news-is-good-news This change does not require a news file quick-review Review of this should be quick and easy labels Dec 12, 2023
@khk-globus khk-globus changed the title Remove detritus from CI image (#1384) Remove detritus from CI image Dec 12, 2023
@khk-globus khk-globus merged commit aba6d45 into main Dec 12, 2023
30 checks passed
@khk-globus khk-globus deleted the remove_pip_left_detritus_for_stupid_safety branch December 12, 2023 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-news-is-good-news This change does not require a news file quick-review Review of this should be quick and easy
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants