Completed
Push — master ( 6c0c15...f710af )
by
unknown
15s queued 12s
created
5.23
▶   ± 0
Head
Björn Ricks  
Merge pull request #194 from jjnicola/alive-test
8 more commits
Base
Björn Ricks  
Merge pull request #192 from jjnicola/max_res