CI: run on pull requests as well, not just pushes.
-rw-r--r-- 143 .coveragerc
drwxr-xr-x - .github
-rw-r--r-- 156 .gitignore
-rw-r--r-- 962 .travis.yml
-rw-r--r-- 654 CONTRIBUTING.txt
-rw-r--r-- 1318 LICENSE.txt
-rw-r--r-- 5146 README.md
drwxr-xr-x - docs
drwxr-xr-x - examples
drwxr-xr-x - nmigen
-rw-r--r-- 1846 setup.py