Closed hagenw closed 1 year ago
Use dedication GitHub Action to test building the documentation, instead of combining those with the other tests.
Merging #139 (50cae93) into dev (b92af96) will not change coverage. The diff coverage is n/a.
n/a
see 4 files with indirect coverage changes
Use dedication GitHub Action to test building the documentation, instead of combining those with the other tests.