Completed
Pull Request — master (#1430)
by Grégoire
04:58 queued 02:07
created

Changes

26 issues were newly filtered.
7.93
▶   ± 0
Head
Grégoire Paris  
Merge 0087cdd7864238a454bfb66e89fbf8fad9ab3852 into 39aab7d4eedfd906dc7d1d98f9874526f7f19f7d
1 more commit
Base
Baptiste Meyer  
Merge pull request #1426 from meyerbaptiste/enable_coverage