1 files changed, 3 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml
index b41ba9b3..00a1fca2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -32,3 +32,6 @@ jobs:
       script:
         - sbt clean assembly publish-local
         - bash .run_chisel_tests.sh
+    - stage: test
+      script:
+        - bash .run_formal_checks.sh