This repository has been archived by the owner on Apr 15, 2024. It is now read-only.

CI import names #563

Open

rach-id opened this issue Oct 27, 2023 · 0 comments

Labels

Member

rach-id commented Oct 27, 2023

          yeah I'm 100% down for adding CI to look at import names. For packages with types I think we could define a linter that is generic enough to be useful. Not sure about other package names that frequently require renaming

Originally posted by @evan-forbes in #560 (comment)

The text was updated successfully, but these errors were encountered:

rach-id added CI/CD chore labels

rach-id mentioned this issue

feat: gossiping the latest valset in P2P layer in case they get pruned #560

Merged

5 tasks

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.