Add inputs coverage_deploy_target_repo and coverage_deploy_token

Signed-off-by: Andreas Heinrich <andreas.heinrich@rwth-aachen.de>

.github/workflows/continuous_integration.yml

@@ -87,6 +87,14 @@ on:
         required: false
         default: 'build/gcovr-coverage'
         type: string
+      coverage_deploy_target_repo:
+        description: 'The repository to deploy the coverage report to'
+        required: true
+        type: string
+      coverage_deploy_token:
+        description: 'The token to use to deploy the coverage report'
+        required: true
+        type: string
       dist_path:
         description: 'The path to the dist directory, relative to the github workspace'
         required: false
@@ -295,10 +303,10 @@ jobs:
         # LTODO update tag
         uses: everest/everest-ci/github-actions/deploy-ci-logs@feature/add-reusable-ci-workflow
         with:
-          target_repo: EVerest/everest.github.io
+          target_repo: ${{ inputs.coverage_deploy_target_repo }}
           target_logs_name: coverage-report
           logs_dir: ${{ inputs.coverage_report_path }}
-          github_token: ${{ secrets.GITHUB_TOKEN }}
+          github_token: ${{ inputs.coverage_deploy_token }}
       - name: Create dist
         id: create_dist
         if: ${{ inputs.run_install == 'true' }}