INRIA / spoon / #16154

Build # #16154

Build Type

Pull #6341

github

Committed by web-flow

Commit Message

Merge a7d0658ec into 04af8bd95

Pull Request Pull Request #6341: chore: port CD to new OSSRH pipeline

Run Details

30141 of 34435 relevant lines covered (87.53%)

0.88 hits per line

Source File

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

Source Not Available