Re: [heycam/webidl] Meta: move to GitHub Actions (#992)

Yeah, so, we merged #987 but it's not deploying.

I'm somewhat hopeful that even if GitHub won't run first-time actions for PRs, it'll start running them after we merge this? So it might be worth trying to merge this and seeing what happens?

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/pull/992#issuecomment-868801709