Stream: git-wasmtime

Topic: wasmtime / issue #4490 [0.39.0] Backport CI fixes

Wasmtime GitHub notifications bot (Jul 20 2022 at 20:34):

alexcrichton commented on issue #4490:

@uweigand mind double-checking my backport here as well? (I can't seem to request a review from you through the GitHub UI...)

Wasmtime GitHub notifications bot (Jul 20 2022 at 20:39):

uweigand commented on issue #4490:

@uweigand mind double-checking my backport here as well?

LGTM, thanks!

(I can't seem to request a review from you through the GitHub UI...)

That's probably because I don't have any commit / approval rights on this repo?

Last updated: Oct 23 2024 at 20:03 UTC