We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e830e55 commit 8d431a2Copy full SHA for 8d431a2
.github/workflows/DocNav.yml
@@ -3,6 +3,8 @@ name: Add Navbar
3
on:
4
page_build: # Triggers the workflow on push events to gh-pages branch
5
workflow_dispatch: # Allows manual triggering
6
+ schedule:
7
+ - cron: '0 0 * * 0' # Runs every week on Sunday at midnight (UTC)
8
9
jobs:
10
add-navbar:
@@ -27,9 +29,12 @@ jobs:
27
29
run: |
28
30
git config user.name github-actions[bot]
31
git config user.email github-actions[bot]@users.noreply.github.com
32
+
33
+ # Define the URL of the navbar to be used
34
+ NAVBAR_URL="https://raw.githubusercontent.com/TuringLang/turinglang.github.io/main/assets/scripts/JuliaGPNavbar.html"
35
36
# Update all HTML files in the current directory (gh-pages root)
- ./insert_navbar.sh .
37
+ ./insert_navbar.sh . $NAVBAR_URL
38
39
# Remove the insert_navbar.sh file
40
rm insert_navbar.sh
0 commit comments