Skip to content
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

Add metrics server to Anchor #10

Merged
merged 16 commits into from
Oct 31, 2024
Next Next commit
Initial metrics server addition
  • Loading branch information
AgeManning committed Oct 1, 2024
commit 629b9c77573ae278c81bce1bcb7466d99612c3b1
3 changes: 2 additions & 1 deletion book/src/SUMMARY.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,8 @@
# Summary

* [Introduction](./intro.md)
* [Metrics](./metrics.md)
* [FAQs](./faq.md)
* [Protocol Developers](./developers.md)
* [Contributing](./contributing.md)
* [Development Environment](./setup.md)
* [Development Environment](./setup.md)