Passed
Pull Request — main (#47)
by Niels
03:28 queued 01:42
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.95
▶   ± 0
Head
Kiet Tran  
Merge 0ad672048b4bfdf90085bf61379691cb8443b247 into 70e84c788455401fb4df04cf6a1eb002304cc525
8 more commits
Base
Niels Nijens  
Merge pull request #61 from niels-nijens/fix-coverage-commenting