56
100%

Ran 25 Aug 2026 10:29AM UTC

Jobs 1

Files 30

Run time 1min

Badge

Committed 25 Aug 2026 10:28AM UTC coverage: 98.662% (+0.3%) from 98.392%

Build # 56

Build Type

push

github

Committed by

Commit Message

Merge pull request #14 from mbarbin/nofunc-non-std-libraries-v2

Get started on the nofunc non-std libraries

Coverage Stats

718 of 727 new or added lines in 12 files covered. (98.76%)

2801 of 2839 relevant lines covered (98.66%)

13.14 hits per line

Lines	Coverage	∆	File
5	93.33		src/nofunc-set/stdlib/set0.ml
3	95.55		src/nofunc-map/stdlib/map0.ml
1	98.36	-1.64%	src/nofunc-stdmap/map0.ml

ID	Job ID	Ran	Files	Coverage
1	56.1	25 Aug 2026 10:29AM UTC	30	98.66	GitHub Action Run