- From: sideshowbarker <notifications@github.com>
- Date: Fri, 10 Oct 2025 01:31:09 -0700
- To: whatwg/dom <dom@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 10 October 2025 08:31:13 UTC
sideshowbarker left a comment (whatwg/dom#1400) > Oh, and I guess we need to figure out how to deal with the MDN CI failures. Would that require first removing the incoming references from MDN @sideshowbarker? Yeah, or else — based on what the error message at https://github.com/whatwg/dom/actions/runs/17081950335/job/48437853413?pr=1400#step:5:30 says, we could set the `Ignore MDN Failure` option to ignore the missing-ID problems. (And to be clear, the only related consequence of those IDs going missing is that, in the margins next to places in the spec where those IDs occur, the MDN panels that’d otherwise show up there just no longer show up any more. In other words, it doesn’t otherwise break anything in any observable way — in particular, it doesn’t affect end-users/readers of the spec.) -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/dom/pull/1400#issuecomment-3388862953 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/dom/pull/1400/c3388862953@github.com>
Received on Friday, 10 October 2025 08:31:13 UTC