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
Prev Previous commit
Next Next commit
Merge latest unstable
  • Loading branch information
AgeManning committed Oct 23, 2024
commit 0cf43da27cc8be5826d608356fbc8bedebe20f67
13 changes: 7 additions & 6 deletions book/src/SUMMARY.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,9 @@
# Summary

* [Introduction](./intro.md)
* [Metrics](./metrics.md)
* [FAQs](./faq.md)
* [Development Environment](./setup.md)
* [Contributing](./contributing.md)
* [Protocol Developers](./developers.md)
- [Introduction](./intro.md)
- [Metrics](./metrics.md)
- [FAQs](./faq.md)
- [Development Environment](./setup.md)
- [Contributing](./contributing.md)
- [Protocol Developers](./developers.md)
- [Architecture](./architecture.md)
You are viewing a condensed version of this merge commit. You can view the full changes here.