Exclude navigation bar from DoodleBUGS project (#341)

Co-authored-by: Hong Ge <[email protected]>

Author: shravanngoswamii

.github/workflows/DocsNav.yml

@@ -25,6 +25,7 @@ jobs:
         uses: TuringLang/actions/DocsNav@main
         with:
           doc-path: '.'
+          exclude-paths: '["DoodleBUGS"]'
 
       - name: Commit and push changes
         run: |