Commit Graph

3 Commits (66fd0bd9439c486ae7b34a8152ca50b04e68267b)

Author SHA1 Message Date
Adrien Vergé 5d8ef2ea23 CI: Simplify 'pip' commands 4 years ago
Adrien Vergé 4515269233 CI: Fix failing 'coverage' command because of $PATH
Very probably due to:
https://github.com/actions/virtual-environments/issues/2455#issuecomment-787511010
4 years ago
Adrien Vergé 66bf76a362 CI: Switch to GitHub Actions
Because Travis CI is dead.
4 years ago