Stream: git-wasmtime

Topic: wasmtime / PR #5418 [4.0.0] CI: pin to Ubuntu 20.04.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 12 2022 at 16:24):

alexcrichton opened PR #5418 from update-ci4 to release-4.0.0:

This is a backport of #5407 to the 4.0.0 release branch to fix CI there as well.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 12 2022 at 17:03):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 12 2022 at 17:30):

abrown merged PR #5418.

Last updated: Nov 22 2024 at 17:03 UTC