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

curryst:0.4.0 #1546

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

curryst:0.4.0 #1546

wants to merge 4 commits into from

Conversation

MDLC01
Copy link
Contributor

@MDLC01 MDLC01 commented Jan 10, 2025

I am submitting

  • a new package
  • an update for a package

Changes:

  • Improved the appearance of rules with multiple premises.
  • Added support for top-to-bottom trees.

Copy link
Member

@elegaanz elegaanz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@pauladam94 I want just to check with you that it's okay to have someone else make a release for your package (but since @MDLC01 has been an active contributor, I'm pretty sure it is).

packages/preview/curryst/0.4.0/typst.toml Outdated Show resolved Hide resolved
packages/preview/curryst/0.4.0/LICENSE Outdated Show resolved Hide resolved
packages/preview/curryst/0.4.0/README.md Outdated Show resolved Hide resolved
Co-authored-by: Ana Gelez <[email protected]>
@typst-package-check typst-package-check bot added the update A package update. label Jan 12, 2025
Co-authored-by: Ana Gelez <[email protected]>
@typst-package-check
Copy link

@pauladam94 You released curryst:0.3.0, so you probably want to have a look at this pull request. If you want this update to be merged, please leave a comment stating so. Without your permission, the pull request will not be merged.

1 similar comment
@typst-package-check
Copy link

@pauladam94 You released curryst:0.3.0, so you probably want to have a look at this pull request. If you want this update to be merged, please leave a comment stating so. Without your permission, the pull request will not be merged.

@MDLC01
Copy link
Contributor Author

MDLC01 commented Jan 12, 2025

Poor Paul, getting pinged three times in a row

@elegaanz
Copy link
Member

Yeah sorry about that, the bot is a bit dumb and will just ping every time there is a new commit. At least I think GitHub groups the notifications together.

@pauladam94
Copy link
Contributor

Yes I confirmed that I am ok with this pull merge. This is the pull request done on our repo about the "curryst" typst package version 0.4.0.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
update A package update.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants