badges, better lint dep setup

README.md

@@ -5,12 +5,11 @@
 <br />
 
 
-[![Build Status](https://travis-ci.com/trailofbits/manticore.svg?branch=master)](https://travis-ci.com/trailofbits/manticore)
+[![Build Status](https://img.shields.io/github/workflow/status/trailofbits/manticore/CI/master)](https://github.com/trailofbits/manticore/actions)
+[![Codecov](https://img.shields.io/codecov/c/github/trailofbits/manticore)](https://codecov.io/github/trailofbits/manticore)
 [![PyPI version](https://badge.fury.io/py/manticore.svg)](https://badge.fury.io/py/manticore)
 [![Slack Status](https://empireslacking.herokuapp.com/badge.svg)](https://empireslacking.herokuapp.com)
 [![Documentation Status](https://readthedocs.org/projects/manticore/badge/?version=latest)](http://manticore.readthedocs.io/en/latest/?badge=latest)
-[![Maintainability](https://api.codeclimate.com/v1/badges/9161568d8378cea903f4/maintainability)](https://codeclimate.com/github/trailofbits/manticore/maintainability)
-[![Test Coverage](https://api.codeclimate.com/v1/badges/9161568d8378cea903f4/test_coverage)](https://codeclimate.com/github/trailofbits/manticore/test_coverage)
 
 Manticore is a symbolic execution tool for analysis of smart contracts and binaries.
 

setup.py

@@ -16,24 +16,24 @@ def rtd_dependent_deps():
 # (we need to know how to import a given native dependency so we can check if native dependencies are installed)
 native_deps = ["capstone==4.0.1", "pyelftools", "unicorn==1.0.2rc1"]
 
+lint_deps = ["black==19.3b0", "mypy==0.740"]
+
 # Development dependencies without keystone
 dev_noks = native_deps + [
     "coverage",
     "Sphinx",
-    "black==19.3b0",
-    "mypy==0.740",
     "pytest==5.3.0",
     "pytest-xdist==1.30.0",
     "pytest-cov==2.8.1",
-]
+] + lint_deps
 
 extra_require = {
     "native": native_deps,
     # noks - no keystone
     "dev-noks": dev_noks,
     "dev": native_deps + dev_noks + ["keystone-engine"],
     "redis": ["redis"],
-    "lint": ["black==19.3b0", "mypy==0.740"],
+    "lint": lint_deps,
 }