Skip to content

Typed HTML API codegen and data#10

Merged
laurmaedje merged 3 commits intomainfrom
typed-html
Jun 23, 2025
Merged

Typed HTML API codegen and data#10
laurmaedje merged 3 commits intomainfrom
typed-html

Conversation

@laurmaedje
Copy link
Member

This is a companion PR to typst/typst#6476.

@laurmaedje laurmaedje changed the title Typed HTML API Typed HTML API codegen and data Jun 21, 2025
@wrzian
Copy link

wrzian commented Jun 22, 2025

Would you be open to a PR that would check the generated output in CI here? Maybe only when either the file changes or there is a version bump?

@laurmaedje
Copy link
Member Author

I still want to pin the specs to specific version (e.g. https://html.spec.whatwg.org/commit-snapshots/942e63def84b91fa62efd1f924e3f330ad15c62f/; I still need to research perma-links for the other specs) to make it reproducible.

Once that's done and this here is merged, I would definitely be open for a CI PR. As of yet, typst-assets has no CI at all, so that would be a first step. We can then discuss whether we want to do the code generation CI on every commit or not (it wouldn't be too bad here as typst-assets gets far fewer commits than typst proper).

@laurmaedje laurmaedje merged commit 21b3768 into main Jun 23, 2025
@laurmaedje laurmaedje deleted the typed-html branch June 23, 2025 08:48
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