Update navigation.yml

Add profiling page to nav bar
2021-11-04 17:28:24 -07:00 · 2021-11-04 17:28:24 -07:00 · dc509b9849
parent 7c76a5a70a
commit dc509b9849
1 changed files with 2 additions and 0 deletions
--- a/docs/_data/navigation.yml
+++ b/docs/_data/navigation.yml
@ -21,5 +21,7 @@ pages:
    url: /compatibility
  - title: Typechecking
    url: /typecheck
+  - title: Profiling
+    url: /profile
  - title: Library
    url: /library