added test coverage to CI #5

Merged
brian merged 4 commits from add-test-coverage-info-to-CI-job into main 2025-09-14 17:31:33 +02:00
Showing only changes of commit 832e4d572f - Show all commits
+1 -1
View File
@@ -33,7 +33,7 @@ jobs:
- name: Post coverage summary to PR - name: Post coverage summary to PR
env: env:
API_URL: ${{ secrets.API_URL }} API_URL: ${{ vars.API_URL }}
REPO_OWNER: ${{ github.repository_owner }} REPO_OWNER: ${{ github.repository_owner }}
REPO_NAME: ${{ github.event.repository.name }} REPO_NAME: ${{ github.event.repository.name }}
PR_NUMBER: ${{ github.event.pull_request.number }} PR_NUMBER: ${{ github.event.pull_request.number }}