Wasmtime GitHub notifications bot (Oct 06 2022 at 23:48): Wasmtime GitHub notifications bot (Oct 06 2022 at 23:48):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!
Wasmtime GitHub notifications bot (Oct 07 2022 at 00:15):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.
Wasmtime GitHub notifications bot (Oct 07 2022 at 00:38):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.
Wasmtime GitHub notifications bot (Oct 07 2022 at 02:37):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: Nov 22 2024 at 16:03 UTC