Re: [whatwg/dom] Meta: update repository files (#872)

Hmm, the usual trick of closing and reopening worked. While GitHub Actions isn't 100% reliable, in web-platform-tests I have found it to trigger more reliably than Travis did, so I wouldn't take this as a red flag. It's plausible that there's something about the very first action run in a repo that makes this more likely, too.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/dom/pull/872#issuecomment-643359061

Received on Friday, 12 June 2020 16:17:28 UTC