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

CI: No longer add the ppa:ubuntu-toolchain-r/test repository #3671

Merged
merged 1 commit into from
Nov 14, 2022

Conversation

lgritz
Copy link
Collaborator

@lgritz lgritz commented Nov 14, 2022

Lately, it has been experiencing intermittent availability problems that causes our CI to fail while setting up dependencies.

What happens if we don't use the problematic ubuntu-toolchain-r at all?

Nothing, it seems. So eliminate it.

I think that once upon a time, it was necessary to add this repo to get certain new packages? But maybe they are mainstream enough now that it's not necessary to add this repo? In any case, it doesn't seem to hurt anything, it's one less moving part that can't fail if it's not there.

Lately, it has been experiencing intermittent availability problems
that causes our CI to fail while setting up dependencies.

What happens if we don't use the problematic ubuntu-toolchain-r at all?

Nothing, it seems. So eliminate it.

I think that once upon a time, it was necessary to add this repo to
get certain new packages? But maybe they are mainstream enough now
that it's not necessary to add this repo? In any case, it doesn't seem
to hurt anything, it's one less moving part that can't fail if it's
not there.
@lgritz lgritz merged commit c31b100 into AcademySoftwareFoundation:master Nov 14, 2022
lgritz added a commit to lgritz/OpenImageIO that referenced this pull request Nov 14, 2022
…SoftwareFoundation#3671)

Lately, it has been experiencing intermittent availability problems
that causes our CI to fail while setting up dependencies.

What happens if we don't use the problematic ubuntu-toolchain-r at all?

Nothing, it seems. So eliminate it.

I think that once upon a time, it was necessary to add this repo to
get certain new packages? But maybe they are mainstream enough now
that it's not necessary to add this repo? In any case, it doesn't seem
to hurt anything, it's one less moving part that can't fail if it's
not there.
@lgritz lgritz deleted the lg-cibreak branch November 15, 2022 03:23
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