sudo: false dist: trusty language: cpp compiler: - gcc - clang addons: apt: packages: - libgmp-dev script: - make test_ci DEBUG=1 -j3 - make clean - make test_go