minor fixes

Signed-off-by: Andreas Heinrich <[email protected]>
EVerest · Sep 10, 2024 · fa0b90b · fa0b90b
1 parent 417f844
commit fa0b90b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/continuous_integration.yml b/.github/workflows/continuous_integration.yml
@@ -458,3 +458,4 @@ jobs:
           github_token: ${{ secrets.coverage_deploy_token }}
           artifact_name: coverage-badge
           artifact_directory: ${{ github.workspace }}/coverage-badge/
+          deploy_global_artifact: true
diff --git a/github-actions/deploy-ci-artifact/action.yaml b/github-actions/deploy-ci-artifact/action.yaml
@@ -57,11 +57,11 @@ runs:
     - name: Copy Artifact
       shell: bash
       run: |
-        mkdir -p gh-pages-repo/${{ steps.determine_target_path.outputs.target_path }}
+        mkdir -p gh-pages-repo/docs/${{ steps.determine_target_path.outputs.target_path }}
         if [ "${{ inputs.deploy_global_artifact }}" = "true" ]; then
-          rm -rf gh-pages-repo/${{ steps.determine_target_path.outputs.target_path }}/*
+          rm -rf gh-pages-repo/docs/${{ steps.determine_target_path.outputs.target_path }}/*
         fi
-        cp -r ${{ inputs.artifact_directory }}/* gh-pages-repo/${{ steps.determine_target_path.outputs.target_path }}
+        cp -r ${{ inputs.artifact_directory }}/* gh-pages-repo/docs/${{ steps.determine_target_path.outputs.target_path }}
     - name: Commit and push logs
       shell: bash
       run: |