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

Fix handling of CSS specs and CSS snapshots #1158

Merged
merged 1 commit into from
Dec 11, 2023
Merged

Fix handling of CSS specs and CSS snapshots #1158

merged 1 commit into from
Dec 11, 2023

Conversation

tidoust
Copy link
Member

@tidoust tidoust commented Dec 11, 2023

The W3C API cannot be trusted for CSS specs and CSS snapshots because it mixes the two in the same series, is case-insensitive on the shortname, and may change the case of the returned shortname when a new spec gets published in one of these series. That typically happened with the recent publication of the CSS 2023 snapshot, which broke the build as a result.

This update makes the code ignore the info from the W3C API for these series, and rather hardcodes the series titles. The code will also use the latest version as the current specification for each of these series. If we need to override this, we'll have to do it in specs.json.

The W3C API cannot be trusted for CSS specs and CSS snapshots because it
mixes the two in the same series, is case-insensitive on the shortname, and
may change the case of the returned shortname when a new spec gets published in
one of these series. That typically happened with the recent publication of the
CSS 2023 snapshot, which broke the build as a result.

This update makes the code ignore the info from the W3C API for these series,
and rather hardcodes the series titles. The code will also use the latest
version as the current specification for each of these series. If we need to
override this, we'll have to do it in `specs.json`.
@tidoust tidoust merged commit 1abb49c into main Dec 11, 2023
1 check passed
@tidoust tidoust deleted the fix-css branch December 11, 2023 10:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants