Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Meta: Fix illegal closing tags #184

Merged
merged 1 commit into from
Sep 12, 2023
Merged

Conversation

jeremyroman
Copy link
Collaborator

@jeremyroman jeremyroman commented Sep 12, 2023


💥 Error: 400 Bad Request 💥

PR Preview failed to build. (Last tried on Sep 12, 2023, 3:34 PM UTC).

More

PR Preview relies on a number of web services to run. There seems to be an issue with the following one:

🚨 CSS Spec Preprocessor - CSS Spec Preprocessor is the web service used to build Bikeshed specs.

🔗 Related URL

Error running preprocessor, returned code: 2.
FATAL ERROR: Garbage after the tagname in </div>.
 ✘  Did not generate, due to errors exceeding the allowed error level.

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.

@domenic
Copy link
Member

domenic commented Sep 12, 2023

Nit on the commit message: if you want to follow https://github.com/whatwg/meta/blob/main/COMMITTING.md#commit-messages , no commit message. And probably a "Meta:" prefix since it is related to just getting the spec to build and isn't noticeable at all (even as an editorial change) in the output.

@jeremyroman jeremyroman changed the title Fix illegal closing tags. Meta: Fix illegal closing tags Sep 12, 2023
@jeremyroman
Copy link
Collaborator Author

Nit on the commit message: if you want to follow https://github.com/whatwg/meta/blob/main/COMMITTING.md#commit-messages , no commit message. And probably a "Meta:" prefix since it is related to just getting the spec to build and isn't noticeable at all (even as an editorial change) in the output.

Done.

@jeremyroman jeremyroman merged commit 640b0ed into whatwg:main Sep 12, 2023
2 checks passed
@jeremyroman jeremyroman deleted the illegal-close branch September 12, 2023 15:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants