- From: Anne van Kesteren <notifications@github.com>
- Date: Thu, 02 Sep 2021 04:41:48 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 2 September 2021 11:42:00 UTC
I essentially added ``` deploy: index.bs curl --remote-name --fail https://resources.whatwg.org/build/deploy.sh POST_BUILD_STEP='npm run pp-webidl -- --input index.html' \ bash ./deploy.sh ``` to the `Makefile` to see what kind of errors I would run into. There were a lot. 😟 I ended up suppressing RFC2119 warnings. Given that "optional" is a term that's frequently used that ended up generating too much noise (I suspect "required" as well, but I didn't get that far). -- 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/1018#issuecomment-911575704
Received on Thursday, 2 September 2021 11:42:00 UTC