1
88%
main: 88%

Ran 21 Mar 2025 06:45PM UTC

Files 788

Run time 25min

Badge

Committed 21 Mar 2025 05:42PM UTC coverage: 88.068% (+0.01%) from 88.055%

Build Type

push

github

Committed by

Commit Message

Fix default optimization level in comment (#14045)

Co-authored-by: Robin Adams <robinad@chalmers.se>

Coverage Stats

72605 of 82442 relevant lines covered (88.07%)

371777.39 hits per line