clone dev

AmirMardan · Mar 28, 2024 · 0db7ce3 · 0db7ce3
1 parent b5e7c99
commit 0db7ce3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/docs_page_workblow.yml b/.github/workflows/docs_page_workblow.yml
@@ -4,7 +4,7 @@ name: docs_pages_workflow
 on:
   push:
     branches: ["dev"]
-    
+
 jobs:
 
   build_docs_job:
@@ -19,7 +19,7 @@ jobs:
       run: |
         apt-get update
         apt-get install -y git
-        git clone "https://token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" .
+        git clone "https://token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git@dev" .
       shell: bash
 
     - name: Execute script to build our documentation and update pages