Skip to content

Do not run FileCheck checks when building coverage report#236

Merged
nomeata merged 2 commits intomasterfrom
joachim/no-filecheck-in-coverage
Mar 13, 2019
Merged

Do not run FileCheck checks when building coverage report#236
nomeata merged 2 commits intomasterfrom
joachim/no-filecheck-in-coverage

Commits

Commits on Mar 13, 2019