1513373175
93%
master: 93%

Ran 28 Nov 2021 07:23PM CUT

Jobs 5

Files 9

Run time 1min

Badge

Build Type

github

Committed by GitHub

Commit Message

Merge 6e62d6626 into 3410fb8a2

Run Details

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

1442 of 1551 relevant lines covered (92.97%)

4.44 hits per line

ID	Job ID	Ran	Coverage
1	3.6 - 1513373175.1	28 Nov 2021 07:23PM CUT	85.49
2	3.8 - 1513373175.2	28 Nov 2021 07:23PM CUT	91.55
3	3.7 - 1513373175.3	28 Nov 2021 07:23PM CUT	85.43
4	3.9 - 1513373175.4	28 Nov 2021 07:23PM CUT	90.91
5	3.10 - 1513373175.5	28 Nov 2021 07:24PM CUT	91.04

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
87.76	icontract/_recompute.py	958	490	430	60	4.0
91.07	icontract/_metaclass.py	363	168	153	15	4.0
92.18	icontract/_represent.py	572	243	224	19	4.0
96.91	icontract/_checkers.py	1003	453	439	14	4.0
99.17	icontract/_decorators.py	381	120	119	1	4.0
100.0	icontract/_types.py	96	38	38	0	5.0
100.0	icontract/errors.py	5	1	1	0	5.0
100.0	icontract/_globals.py	32	17	17	0	5.0
100.0	icontract/__init__.py	45	21	21	0	5.0