diff --git a/.github/workflows/doc-check.yml b/.github/workflows/doc-check.yml index abab04763..9707a7811 100644 --- a/.github/workflows/doc-check.yml +++ b/.github/workflows/doc-check.yml @@ -65,6 +65,7 @@ jobs: with: pullRequestId: ${{ github.event.pull_request.number }} installDepends: true + installCoverxygen: false setFailed: false checkScope: "public" checkedSuffix: ".h,.hpp,.hxx"