Re: [w3c/uievents] Prevent `<code>` becoming propdescs (#313)

@saschanaz commented on this pull request.



> @@ -9,6 +9,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
+      - run: python build.py --includes-only

Updating HTML itself is being done by spec-prod internally running bikeshed. 

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/uievents/pull/313#discussion_r708746207