Stream: git-wasmtime

Topic: wasmtime / PR #5084 Increase attempts and timeout in publ...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 20 2022 at 19:29):

alexcrichton opened PR #5084 from wait-longer to main:

The 2.0.0 publication failed due to the index not being updated, so do more attempts and wait longer to try to get things working.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Oct 20 2022 at 21:52):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 21 2022 at 04:13):

alexcrichton merged PR #5084.


Last updated: Dec 23 2024 at 12:05 UTC