w3c / wot-scripting-api

Web of Things (WoT) Scripting API
http://w3c.github.io/wot-scripting-api/
Other
43 stars 28 forks source link

fix: "Intel" usage to "Intel Corp." #511

Closed danielpeintner closed 1 year ago

danielpeintner commented 1 year ago

Align with changes in other repos, e.g, https://github.com/w3c/wot-thing-description/pull/1899

@zolkis


:boom: Error: 500 Internal Server Error :boom:

PR Preview failed to build. (Last tried on Oct 18, 2023, 1:37 PM UTC).

More PR Preview relies on a number of web services to run. There seems to be an issue with the following one: :rotating_light: [Spec Generator](https://www.w3.org/2015/labs/) - Spec Generator is the web service used to build specs that rely on ReSpec. :link: [Related URL](https://labs.w3.org/spec-generator/?type=respec&url=https%3A%2F%2Fraw.githubusercontent.com%2Fw3c%2Fwot-scripting-api%2F119c2a0dae2f53cd53b7baf81180b75b3bd025e3%2Findex.html%3FisPreview%3Dtrue) ``` 😭 Sorry, there was an error generating the HTML. Please report this issue! Specification: http://labs.w3.org/spec-generator/uploads/qSQ3Yy/index.html?isPreview=true%3FisPreview%3Dtrue&publishDate=2023-10-18 ReSpec version: 34.2.0 File a bug: https://github.com/w3c/respec/ Error: undefined ``` _If you don't have enough information above to solve the error by yourself (or to understand to which web service the error is related to, if any), please [file an issue](https://github.com/tobie/pr-preview/issues/new?title=Error%20not%20surfaced%20properly&body=See%20w3c/wot-scripting-api%23511.)._