add coverage summary

Signed-off-by: Andreas Heinrich <[email protected]>
EVerest · Sep 9, 2024 · 3556a8f · 3556a8f
1 parent 42eea62
commit 3556a8f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/.github/workflows/continuous_integration.yml b/.github/workflows/continuous_integration.yml
@@ -307,6 +307,10 @@ jobs:
           target_logs_name: coverage-report
           logs_dir: ${{ inputs.coverage_report_path }}
           github_token: ${{ secrets.coverage_deploy_token }}
+      - name: Write summary coverage
+        if: ${{ steps.run_coverage.outcome == 'success' || steps.run_coverage.outcome == 'failure' }}
+        run: |
+          echo "Coverage report deployed to: [everest.github.io](https://everest.github.io/${{ steps.deploy.outputs.deployed_path }})" >> $GITHUB_STEP_SUMMARY
       - name: Create dist
         id: create_dist
         if: ${{ inputs.run_install == 'true' }}

diff --git a/github-actions/deploy-ci-logs/action.yaml b/github-actions/deploy-ci-logs/action.yaml
@@ -25,9 +25,6 @@ outputs:
   deployed_path:
     description: 'Path to the deployed logs'
     value: ${{ steps.determine_target_path.outputs.target_path }}
-  deployed_url:
-    description: 'URL to the deployed logs'
-    value: 'https://everest.github.io/${{ steps.determine_target_path.outputs.target_path }}'
 runs:
   using: "composite"
   steps:
@@ -47,7 +44,7 @@ runs:
       id: determine_target_path
       shell: bash
       run: |
-        target_path="docs/ci-logs/${{ inputs.source_repo }}/${{ inputs.workflow_run_id }}/${{ inputs.target_logs_name }}"
+        target_path="ci-logs/${{ inputs.source_repo }}/${{ inputs.workflow_run_id }}/${{ inputs.target_logs_name }}"
         echo "target_path=$target_path" >> $GITHUB_OUTPUT
     - name: Copy logs
       shell: bash