Stream: git-wasmtime

Topic: wasmtime / issue #5150 Use an alternate doxygen download ...

Wasmtime GitHub notifications bot (Oct 28 2022 at 19:58):

bjorn3 commented on issue #5150:

https://www.doxygen.nl loads fine for me.

Wasmtime GitHub notifications bot (Oct 28 2022 at 20:44):

cfallin commented on issue #5150:

@bjorn3 it appears to be back up now but it was down for a few hours at least.

Wasmtime GitHub notifications bot (Oct 28 2022 at 20:51):

cfallin commented on issue #5150:

(And, actually, is still down at least for some CI jobs, perhaps due to DNS caching or other issues; see e.g. here just a few minutes prior to this comment)

Last updated: Nov 22 2024 at 16:03 UTC