Port Travis CI workflow to a GitHub CI workflow
Travis is no longer free, so move to GitHub. (In the future ideally we should reduce dependencies on proprietary platforms.)
This commit is contained in:
parent
4ef5eca4a9
commit
58c1946ed9
3 changed files with 83 additions and 0 deletions
|
|
@ -84,6 +84,8 @@
|
|||
|
||||
# Avoid test files
|
||||
tmp-testing-trees
|
||||
.coveralls.yml
|
||||
.github/workflows/
|
||||
.travis.yml
|
||||
^docker/
|
||||
^[a-zA-Z]*-docker.sh
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue