added navbar for JuliaGP

Author: shravanngoswamii

assets/scripts/DocsNav.yml

@@ -29,7 +29,7 @@ jobs:
           git config user.email github-actions[bot]@users.noreply.github.com
 
           # Define the URL of the navbar to be used
-          NAVBAR_URL="https://raw.githubusercontent.com/TuringLang/turinglang.github.io/main/assets/scripts/navbar.html"
+          NAVBAR_URL="https://raw.githubusercontent.com/TuringLang/turinglang.github.io/main/assets/scripts/TuringNavbar.html"
          
           # Update all HTML files in the current directory (gh-pages root)
           ./insert_navbar.sh . $NAVBAR_URL