Completed
Push — master ( 5435dc...6f25c5 )
by
unknown
14s queued 12s
created

Changes

Good job, 2 issues were fixed.
D F gvmtools.pyshell.main() got worse
D F gvmtools.cli.main() got worse
8.45
▼   -0.45
Head
Björn Ricks  
Merge pull request #201 from bjoernricks/support-gmp-selection
2 more commits
Base
Björn Ricks  
Merge pull request #199 from bjoernricks/master