cfallin commented on issue #5028:
I'll hit 'rerun failed jobs' a few more times and keep this handy in case the apt repo isn't fixed. Thanks!
cfallin commented on issue #5028:
The apt repo seems to have returned to a good state so #5023 was able to merge; closing this as no longer needed.
abrown commented on issue #5028:
Yeah, @brianjjones observed the same thing over in another repository. Not sure that I would have been able to resolve this kind of "internet failure" anyways.
cfallin commented on issue #5028:
The apt repo is broken again: run
Given that this keeps flaking, and is holding back merging of any other work, I'm going to go ahead and reopen this PR and merge it. We should look at ways to insulate ourselves better from an unreliable apt repo: for example, could we use GitHub's caching mechanism to install the packages once, then cache that state for subsequent CI runs?
Last updated: Dec 23 2024 at 12:05 UTC