fix clippy CI (#5213) - SemanticDiff

Commit

2 years ago

fix clippy CI (#5213) ### Description Counting the number of warnings broke because the output format probably changed (?)