CI for releases and manual generation?

[YDX-2147483647]

As mentioned in #7 (comment), the PDF manual is not automatically generated now.

Do you want a CI for that? Say, when you click some buttom on GitHub or git push --follow-tags, a workflow will run and create a new release with the PDF manual.

Pros:

• Easier for maintenance and PR.
• Reduce the repo size in future. (because PDF will be stored in releases)

Cons:

• Setting up a CI from scratch is complicated.
• Being too dependent on GitHub.

More information:

• GitHub Actions usage is free for public repositories.
• yusancky/setup-typst can download the typst binary from https://github.com/typst/typst/releases. (You can look up Awesome Typst for alternatives.)

If you like it but are busy, I can make a PR in one or two weeks.

[Leedehai]

Hi - I like this idea! I'd appreciate a PR. Thank you.