INRIA / spoon / #16207

Build # #16207

Build Type

Pull #6363

github

Committed by web-flow

Commit Message

Merge e274942a7 into dfb4c87fc

Pull Request Pull Request #6363: review: chore: Allow workflow dispatch for beta

Run Details

30102 of 34435 relevant lines covered (87.42%)

0.87 hits per line

Source File

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

Source Not Available