Skip to content

Commit a915a03

Browse files
Merge branch 'main' into dependabot/github_actions/github-actions-46a5cbe68c
2 parents f37fd9f + 8f1b06a commit a915a03

1 file changed

Lines changed: 9 additions & 1 deletion

File tree

‎lib/dune‎

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -114,7 +114,15 @@
114114
(flags
115115
(:standard -w -8-9))
116116
(preprocess
117-
(pps ppx_deriving.show ppx_deriving.eq ppx_deriving.ord sedlex.ppx)))
117+
(pps ppx_deriving.show ppx_deriving.eq ppx_deriving.ord sedlex.ppx))
118+
; Without this stanza `dune runtest --instrument-with bisect_ppx` has nothing
119+
; to attach to: dune instruments nothing, the tests run uninstrumented, and no
120+
; .coverage files are written. `bisect-ppx-report summary` then fails with
121+
; "no *.coverage files found" — and because the CI step that calls it carries
122+
; `continue-on-error: true`, that failure was swallowed and the coverage job
123+
; went green while measuring nothing.
124+
(instrumentation
125+
(backend bisect_ppx)))
118126

119127
(menhir
120128
(modules parser)

0 commit comments

Comments
 (0)