Skip to content

ci: fix coverage ignore directories#2420

Merged
ReenigneArcher merged 1 commit intonightlyfrom
ci-fix-coverage-ignore-directories
Apr 14, 2024
Merged

ci: fix coverage ignore directories#2420
ReenigneArcher merged 1 commit intonightlyfrom
ci-fix-coverage-ignore-directories

Commits

Commits on Apr 14, 2024