From dc509b9849889de166dac3f296531d330d00f003 Mon Sep 17 00:00:00 2001
From: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
Date: Thu, 4 Nov 2021 17:28:24 -0700
Subject: [PATCH] Update navigation.yml

Add profiling page to nav bar
---
 docs/_data/navigation.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/_data/navigation.yml b/docs/_data/navigation.yml
index 77c45f1..ad2e55f 100644
--- 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