867
73%
master: 56%

Ran 27 Aug 2024 03:49PM UTC

Jobs 1

Files 91

Run time 1min

Badge

Committed 27 Aug 2024 03:43PM UTC coverage: 72.848% (+0.2%) from 72.6%

Build # 867

Build Type

push

github

Committed by

Commit Message

Media: add alt text to aria-label for audio and video

As per the recommended solution of:
https://www.w3.org/WAI/PF/HTML/wiki/Media_Alt_Technologies

Run Details

11 of 11 new or added lines in 1 file covered. (100.0%)

660 existing lines in 10 files now uncovered.

10163 of 13951 relevant lines covered (72.85%)

2986.96 hits per line

Lines	Coverage	∆	File
2	83.33	1.52%	src/html/config.ml
3	94.74	0.99%	src/html/link.ml
5	93.55	0.0%	src/html/generator.ml
13	52.83	0.0%	src/xref2/expand_tools.ml
24	77.87	0.0%	src/xref2/env.ml
24	87.21	-0.26%	src/odoc/bin/main.ml
31	57.5	14.96%	src/xref2/ident.ml
100	75.46	0.71%	src/xref2/lang_of.ml
126	68.4	0.22%	src/xref2/subst.ml
332	50.55	-0.13%	src/xref2/component.ml

ID	Job ID	Ran	Files	Coverage
1	867.1	27 Aug 2024 03:49PM UTC	91	72.85	GitHub Action Run