Merge pull request #249 from eranpeer/remove-unused-ci-stuff

Remove unusued stuff from old CI.
eranpeer · Jul 5, 2021 · 5694b2f · 5694b2f
2 parents 2daaeba + 8c691bb
commit 5694b2f
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 371 deletions.
diff --git a/.travis.yml b/.travis.yml
diff --git a/build/context.py b/build/context.py
diff --git a/build/coveralls.py b/build/coveralls.py