Removing unneeded file

This commit is contained in:
RichΛrd 2021-06-01 09:41:57 -04:00 committed by Michał
parent 1b71929353
commit a1b7e70404
1 changed files with 0 additions and 15 deletions

View File

@ -1,15 +0,0 @@
language: cpp
sudo: required
services:
- docker
before_install:
- docker pull filcuc/dotherside
script:
- docker run -ti --rm -v`pwd`:/repo -w /repo filcuc/dotherside /bin/bash -c "./.travis.sh"
after_success:
- bash <(curl -s https://codecov.io/bash)