ci: remove unnecessary merge parameter in coverage comment

idiap · Jul 11, 2024 · 7838b23 · 7838b23
1 parent 4fd9d0b
commit 7838b23
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -37,7 +37,6 @@ jobs:
         with:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           GITHUB_PR_RUN_ID: ${{ github.event.workflow_run.id }}
-          MERGE_COVERAGE_FILES: true
           # Update those if you changed the default values:
           # COMMENT_ARTIFACT_NAME: python-coverage-comment-action
           # COMMENT_FILENAME: python-coverage-comment-action.txt
diff --git a/.github/workflows/tests.yaml b/.github/workflows/tests.yaml
@@ -8,8 +8,8 @@ name: Execute code tests
 on:
   push:
     branches: [ "main" ]
+    tags: ["*"]
   pull_request:
-    branches: [ "main" ]
 
 permissions:
   contents: read
@@ -60,11 +60,11 @@ jobs:
         with:
           pattern: coverage-*
           merge-multiple: true
-      - name: Generate and try posting merged coverage comment
-        uses: py-cov-action/python-coverage-comment-action@v3
+      - name: Coverage comment
         id: coverage_comment
+        uses: py-cov-action/python-coverage-comment-action@v3
         with:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GITHUB_TOKEN: ${{ github.token }}
           MERGE_COVERAGE_FILES: true
       - name: Store Pull Request comment to be posted
         uses: actions/upload-artifact@v4