Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Updates to tock-registers for publishing #1106
Pull Request Overview
This is blocked on #1105.
This finishes the remaining bits for publishing, specifically fixing up doctests and adding metadata to the manifest.
I don't think that review applies to any of the changes for this PR? It's already blocked on #1105.