diff --git a/.github/workflows/DocsNav.yml b/.github/workflows/DocsNav.yml index 4070ce03..14614d1f 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