Try to fix deploy documentation

carla-simulator · Feb 1, 2024 · fc3e61e · fc3e61e
1 parent 693542e
commit fc3e61e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/check_documentation.yml b/.github/workflows/check_documentation.yml
@@ -44,5 +44,7 @@ jobs:
         bash .github/workflows/code_coverage.sh
 
     - name: Documentation Deployment (Test)
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: |
         if [ ${{ github.event_name }} != 'pull_request' ]; then bash .github/workflows/deploy_documentation.sh true; else bash .github/workflows/deploy_documentation.sh false; fi
diff --git a/.github/workflows/deploy_documentation.sh b/.github/workflows/deploy_documentation.sh
@@ -40,6 +40,7 @@ git config user.name "Github Action"
 git commit -m "Updated documentation" --no-edit
 
 if [ "$1" = true ]; then
+  git remote set-url origin https://x-access-token:${GITHUB_TOKEN}@github.com/carla-simulator/map
   git push origin doc
 else
   echo "Only testing mode - No deployment"