Re: [w3c/permissions] Introduce Browser Permissions for WebDriver BiDi (PR #425)

FYI: Most of the CI errors are pre-existing:
<img width="1693" alt="image" src="https://github.com/w3c/permissions/assets/2840106/065a8326-541b-44fd-8081-fbd04f0616c1">

The only error stemming from this PR is the last one. But it's a deadlock. The CI complains about `<div class="algorithm">`, and it also complains about `<ol>` inside `<ol>`. If you have a third attempt idea, let me know.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/425#issuecomment-1814422975
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/permissions/pull/425/c1814422975@github.com>

Received on Thursday, 16 November 2023 13:18:57 UTC