diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 00000000..5d6f9780
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,15 @@
+dist: bionic
+
+language: java
+
+jdk:
+  - openjdk8
+
+script:
+  - cd ..
+  - git clone https://github.com/javapathfinder/jpf-core.git
+  - cd jpf-core
+  - ./gradlew buildjars
+  - cd ../jpf-symbc
+  - ant clean build
+