Completed
Push — master ( 3e7ede...b510d1 )
by Jérémy
14s queued 11s
created
9.12
▼   -0.05
Head
Jérémy Derussé  
Merge pull request #145 from jderusse/log_logs
1 more commit
Base
Tobias Nyholm  
Added badges for scrutnizer (#146)