Stream: git-wasmtime

Topic: wasmtime / PR #5410 Update doc builder to ubuntu-latest


view this post on Zulip Wasmtime GitHub notifications bot (Dec 09 2022 at 20:59):

alexcrichton opened PR #5410 from update-doc-build to main:

Apparently the sudo apt-get is no longer necessary so just delete it and everything else seems to work.

<!--

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 (Dec 09 2022 at 21:06):

jameysharp submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 09 2022 at 21:31):

alexcrichton has enabled auto merge for PR #5410.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 09 2022 at 21:41):

alexcrichton merged PR #5410.


Last updated: Dec 23 2024 at 12:05 UTC