Commit 8d2f53d

authored

Remove Travis-CI configuration (#7674)

We've moved to Github CI exclusively, because Travis has unfortunately become exceedingly slow. Remove the obsolete configuration file.

1 parent 64def3c commit 8d2f53dCopy full SHA for 8d2f53d

1 file changed

+0

-71

lines changed

.travis.yml

1 file changed

+0

-71

lines changed

`‎.travis.yml`

-71

This file was deleted.

Comments

(0)