From b5ccfcfc3d291c7b45895f560b699de74f1428a3 Mon Sep 17 00:00:00 2001
From: Shravan Goswami <123811742+shravanngoswamii@users.noreply.github.com>
Date: Sun, 14 Jul 2024 18:33:04 +0530
Subject: [PATCH] Update DocsNav.yml

---
 .github/workflows/DocsNav.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/DocsNav.yml b/.github/workflows/DocsNav.yml
index 4070ce0..14614d1 100644
--- a/.github/workflows/DocsNav.yml
+++ b/.github/workflows/DocsNav.yml
@@ -3,6 +3,8 @@ name: Add Navbar
 on:
   page_build:  # Triggers the workflow on push events to gh-pages branch
   workflow_dispatch:  # Allows manual triggering
+  schedule:
+    - cron: '0 0 * * 0'  # Runs every week on Sunday at midnight (UTC)
 
 jobs:
   add-navbar:
@@ -27,9 +29,12 @@ jobs:
         run: |
           git config user.name github-actions[bot]
           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/TuringNavbar.html"
          
           # Update all HTML files in the current directory (gh-pages root)
-          ./insert_navbar.sh .
+          ./insert_navbar.sh . $NAVBAR_URL
          
           # Remove the insert_navbar.sh file
           rm insert_navbar.sh
@@ -41,4 +46,4 @@ jobs:
             git push "https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" gh-pages
           else
             echo "No changes to commit"
-          fi
\ No newline at end of file
+          fi