add simple travis config

NeuralNetworkVerification · Feb 8, 2018 · 2775745 · 2775745
1 parent d267596
commit 2775745
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/travis.yaml b/travis.yaml
@@ -0,0 +1,9 @@
+language: cpp
+
+script:
+  - make
+
+notifications:
+  email:
+    on_success: change
+    on_failure: always