INRIA / spoon / #14423

Build # #14423

Build Type

push

github

Committed by web-flow

Commit Message

chore: refresh the Jenkins CI scripts (#5910)

Run Details

30036 of 34307 relevant lines covered (87.55%)

0.88 hits per line

Source File

Press 'n' to go to next uncovered line, 'b' for previous

Source Not Available