diff --git a/.github/workflows/ci_coverage.yml b/.github/workflows/ci_coverage.yml index 42022310..588cbf9e 100644 --- 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 index e0028945..f7e0f9e9 100644 --- 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