Remove unusued stuff from old CI.

Because I forgot to do it in last pull request.
eranpeer · Jul 5, 2021 · 8c691bb · 8c691bb
1 parent 2daaeba
commit 8c691bb
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