From fc3e61eecc2a637ab20cc63fa1ff687e9561f5f1 Mon Sep 17 00:00:00 2001 From: berndgassmann Date: Thu, 1 Feb 2024 12:43:53 +0100 Subject: [PATCH] Try to fix deploy documentation --- .github/workflows/check_documentation.yml | 2 ++ .github/workflows/deploy_documentation.sh | 1 + 2 files changed, 3 insertions(+) diff --git a/.github/workflows/check_documentation.yml b/.github/workflows/check_documentation.yml index 42fd2643f..83514cae5 100644 --- 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 index a9042c57a..32eb5c8d3 100644 --- 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"