diff options
-rw-r--r-- | projects/dav1d/project.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/dav1d/project.yaml b/projects/dav1d/project.yaml index af05d80c..a58d020e 100644 --- a/projects/dav1d/project.yaml +++ b/projects/dav1d/project.yaml @@ -10,4 +10,4 @@ sanitizers: - address - memory - undefined -experimental: True +coverage_extra_args: -ignore-filename-regex=.*dump.h |