7
55%
development: 55%

Ran 02 Feb 2026 03:24PM UTC

Files 45

Run time 1s

Badge

Committed 02 Feb 2026 03:22PM UTC coverage: 55.51% (-0.01%) from 55.523%

Build Type

push

github

Committed by

Commit Message

Merge pull request #898 from Dalilaroussi/add_id_input_output_port

add ID for ouput and input port and fix  name

Run Details

4750 of 8557 relevant lines covered (55.51%)

0.56 hits per line