Wasmtime GitHub notifications bot (May 19 2025 at 18:39): Wasmtime GitHub notifications bot (May 19 2025 at 18:39):alexcrichton opened PR #10808 from alexcrichton:update-doxygen-download-location to bytecodealliance:main:
In the never-ending quest to find the best way to download this switch to using a GitHub based URL to hopefully match GitHub's own uptime. This failed spuriously in the wasip3-prototyping repository so I figured we could try out updating here.
<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
Wasmtime GitHub notifications bot (May 19 2025 at 18:39):alexcrichton requested abrown for a review on PR #10808.
Wasmtime GitHub notifications bot (May 19 2025 at 18:39):alexcrichton requested wasmtime-default-reviewers for a review on PR #10808.
Wasmtime GitHub notifications bot (May 19 2025 at 20:38):abrown submitted PR review:
:fingers_crossed:
Wasmtime GitHub notifications bot (May 19 2025 at 20:59):abrown merged PR #10808.
Last updated: Jan 09 2026 at 13:15 UTC