Merge pull request #251 from eseiler/infra/coverage

[INFRA] Coverage
seqan · Aug 15, 2024 · cb6fe0a · cb6fe0a
2 parents d2b2dd2 + 2cb9e19
commit cb6fe0a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci_coverage.yml b/.github/workflows/ci_coverage.yml
@@ -74,6 +74,9 @@ jobs:
                 --exclude ${GITHUB_WORKSPACE}/src/util \
                 --exclude-lines-by-pattern '^\s*$' \
                 --exclude-lines-by-pattern '^\s*};$' \
+                --exclude-lines-by-pattern '^\s*\.[^\s]* = .*[\n,]$' \
+                --exclude-lines-by-pattern '^\s*\.[^\s]* = .*}\);$' \
+                --exclude-lines-by-pattern '^\s*\.[^\s]* =(\s+\".*\")+' \
                 --exclude-unreachable-branches \
                 --exclude-throw-branches \
                 --exclude-noncode-lines \

diff --git a/.github/workflows/ci_documentation.yml b/.github/workflows/ci_documentation.yml
@@ -73,7 +73,7 @@ jobs:
           deploy_host: ${{ secrets.DEPLOY_HOST }}
           deploy_user: ${{ secrets.DEPLOY_USER }}
           deploy_ssh_key: ${{ secrets.DEPLOY_SSH_KEY }}
-          source_path_user_doc: build/doc/html
+          source_path_user_doc: build/doc/html/
           deploy_path_user_doc: ${{ secrets.DEPLOY_PRODUCTION_BASE_PATH }}/main
   delete:
       name: Delete Preview