Do we want Travis CI and CodeCov? I use those for my other public GitHub stuff. Steve, do you want to set that up through your github account? (It is free. You should probably do it, as author.)
This probably has to wait until after we make this repo public so the relevant bots can access the repo.
Do we want Travis CI and CodeCov? I use those for my other public GitHub stuff. Steve, do you want to set that up through your github account? (It is free. You should probably do it, as author.) This probably has to wait until after we make this repo public so the relevant bots can access the repo.