Closed valencik closed 1 year ago
This bring us back to before https://github.com/typelevel/steward/pull/18
Splitting the repo files didn't quite work as hoped, and is now considerably less necessary as we have more GHA runners 🎉
Thanks!
This bring us back to before https://github.com/typelevel/steward/pull/18
Splitting the repo files didn't quite work as hoped, and is now considerably less necessary as we have more GHA runners 🎉