Removing unneeded file

This commit is contained in:
RichΛrd 2021-06-01 09:41:57 -04:00 committed by GitHub
parent f3fd42e2a5
commit ed38a4b8e7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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)