I'm not too big of a fan of the GitHub star metric...

# github-workflows-kt

[Piotr Krzemiński]

I'm not too big of a fan of the GitHub star metric as something that shows popularity or quality, but it's a metric and this round value does look nice 😁