Passed
Push — main ( 4c355e...70e84c )
by Niels
02:13 queued 18s
created

No notable changes

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

9.95
▶   ± 0
Head
Niels Nijens  
Merge pull request #61 from niels-nijens/fix-coverage-commenting
1 more commit
Base
Niels Nijens  
Merge pull request #60 from niels-nijens/update-and-cleanup-ci