3384
71%

Ran 11 Sep 2026 03:34PM UTC

Jobs 1

Files 86

Run time 1min

Badge

Committed 11 Sep 2026 03:26PM UTC coverage: 71.085% (+0.01%) from 71.071%

Build # 3384

Build Type

push

github

Committed by

Commit Message

Require tyxml >= 5.0.0 for the Sherlodoc tests

The cram output depends on the exact version.

Mechanism Suggested by @Leonidas-from-XIV in review.

Coverage Stats

10441 of 14688 relevant lines covered (71.09%)

6842.68 hits per line

Lines	Coverage	∆	File
55	63.08	0.7%	src/xref2/find.ml

ID	Job ID	Ran	Files	Coverage
1	3384.1	11 Sep 2026 03:34PM UTC	86	71.09	GitHub Action Run