Not all main/info modules were being omitted
Only the top-level ones in the repo root were.
This commit is contained in:
parent
99994ef3c1
commit
feab19a871
4
info.rkt
4
info.rkt
|
@ -30,8 +30,8 @@
|
||||||
|
|
||||||
(define cover-omit-paths
|
(define cover-omit-paths
|
||||||
'(#rx".*\\.scrbl"
|
'(#rx".*\\.scrbl"
|
||||||
"main.rkt"
|
#rx"main\\.rkt"
|
||||||
"info.rkt"
|
#rx"info\\.rkt"
|
||||||
"lens/private/doc-util"
|
"lens/private/doc-util"
|
||||||
"lens/private/test-util"
|
"lens/private/test-util"
|
||||||
"lens/private/util"
|
"lens/private/util"
|
||||||
|
|
Loading…
Reference in New Issue
Block a user