New export not reflected in webref

[jyasskin]

https://github.com/w3c/webdriver-bidi/pull/591/files added data-export to the "extension modules" definition, and it was published to https://w3c.github.io/webdriver-bidi/#extension-modules about 2023-11-06T14:03:11Z. Webref was most recently updated at 2023-11-07T17:05:15Z, but it didn't update https://github.com/w3c/webref/blob/main/ed/dfns/webdriver-bidi.json, which still says the definition is "access": "private". Any idea what went wrong?

[thiagowfx]

I also just landed w3c/webdriver-bidi#593 that exports more definitions. We could maybe use it as another data point to check whether it's an specific issue with w3c/webdriver-bidi#591 or with webref. Let's wait until tomorrow.

[tidoust]

Yes, sorry, that was a side effect of a bug in the version of the crawler that I released yesterday. In practice, the crawl errored on all specs and thus failed to update any data.

Bug was fixed in w3c/reffy#1414. I just ran a new crawl. Updates of WebDriver Bidi's definitions seem to have been correctly picked up.

Closing this as a result. Let me know if I missed something!

[thiagowfx]

Thanks! Everything seems to be indeed working as expected! E.g.: https://respec.org/xref/?term=extension+modules