Skip to content

typstyle: Add version 0.11.34 #6123

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

Closed
wants to merge 3 commits into from

Conversation

chillcicada
Copy link
Contributor

This pr add support for typstyle, a beautiful and reliable typst code formatter.

Copy link
Contributor

All changes look good.

Wait for review from human collaborators.

typstyle

  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate

@chillcicada
Copy link
Contributor Author

/verify

Copy link
Contributor

All changes look good.

Wait for review from human collaborators.

typstyle

  • Description
  • License
  • Hashes
  • Checkver
  • Autoupdate

@chillcicada chillcicada changed the title typstyle: Add version 0.11.32 typstyle: Add version 0.11.34 Sep 26, 2024
@chillcicada
Copy link
Contributor Author

cc @Enter-tainer, you might be interested in this.

@Enter-tainer
Copy link

looks cool! thank you for adding this!

is there any action i need to take? it looks like this pr is opened 1mo ago and doesnt get merged yet.

@chillcicada
Copy link
Contributor Author

That's all for now, and @niheaven would you want to take some time and do a review?

@aliesbelik
Copy link
Contributor

Reasonably well-known and widely used (e.g. if it's a GitHub project, it should have at least 500 stars and/or 150 forks).

Submitted tool doesn't fit the Main criteria.
Guess you could try with Extras bucket instead.

@chillcicada
Copy link
Contributor Author

Thanks for your advice, i will open a pr for scoop extras.

@chillcicada chillcicada deleted the add-typstyle branch October 13, 2024 06:31
@Enter-tainer
Copy link

hi @chillcicada , I have good news for you. typstyle just reached 500 stars recently. I guess it is eligible for main bucket now?

@Enter-tainer
Copy link

related: #6746

@chillcicada chillcicada mentioned this pull request Apr 28, 2025
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants