Stream: git-wasmtime

Topic: wasmtime / PR #3637 Fix "Doc build" CI job.


view this post on Zulip Wasmtime GitHub notifications bot (Jan 03 2022 at 01:25):

cfallin opened PR #3637 from fix-doc-build to main:

The URL that this CI job curls to install Doxygen is now returning a
redirect from https://doxygen.nl/... to https://www.doxygen.nl/...
and curl doesn't seem to follow it. This should fix the download.

First saw failing job in #3635, e.g. here.

<!--

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 (Jan 03 2022 at 01:25):

cfallin requested alexcrichton for a review on PR #3637.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 03 2022 at 05:55):

alexcrichton submitted PR review.

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

cfallin updated PR #3637 from fix-doc-build to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 03 2022 at 19:07):

cfallin merged PR #3637.


Last updated: Dec 23 2024 at 13:07 UTC