diff --git a/.travis.yml b/.travis.yml
index 1f80cb2bc..f6958371f 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -63,15 +63,6 @@ env:
     # Static build. Note we have disable building the bindings because they won't work with a static libz3
     - LINUX_BASE=ubuntu_16.04 C_COMPILER=/usr/bin/gcc-5 CXX_COMPILER=/usr/bin/g++-5 TARGET_ARCH=x86_64 Z3_STATIC_BUILD=1 DOTNET_BINDINGS=0 JAVA_BINDINGS=0 PYTHON_BINDINGS=0
 
-###############################################################################
-# Ubuntu 14.04 LTS
-###############################################################################
-    # GCC 4.8
-    # 64-bit GCC 4.8 RelWithDebInfo
-    - LINUX_BASE=ubuntu_14.04 C_COMPILER=/usr/bin/gcc-4.8 CXX_COMPILER=/usr/bin/g++-4.8 TARGET_ARCH=x86_64 Z3_BUILD_TYPE=RelWithDebInfo
-    # 64-bit GCC 4.8 Debug
-    - LINUX_BASE=ubuntu_14.04 C_COMPILER=/usr/bin/gcc-4.8 CXX_COMPILER=/usr/bin/g++-4.8 TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug RUN_UNIT_TESTS=BUILD_ONLY
-
 # macOS (a.k.a OSX) support
 matrix:
   include:
diff --git a/contrib/ci/scripts/travis_ci_linux_entry_point.sh b/contrib/ci/scripts/travis_ci_linux_entry_point.sh
index f8a5160dd..3c9ac7db7 100755
--- a/contrib/ci/scripts/travis_ci_linux_entry_point.sh
+++ b/contrib/ci/scripts/travis_ci_linux_entry_point.sh
@@ -141,10 +141,6 @@ if [ -n "${Z3_WARNINGS_AS_ERRORS}" ]; then
 fi
 
 case ${LINUX_BASE} in
-  ubuntu_14.04)
-    BASE_DOCKER_FILE="${DOCKER_FILE_DIR}/z3_base_ubuntu_14.04.Dockerfile"
-    BASE_DOCKER_IMAGE_NAME="z3_base_ubuntu:14.04"
-    ;;
   ubuntu_16.04)
     BASE_DOCKER_FILE="${DOCKER_FILE_DIR}/z3_base_ubuntu_16.04.Dockerfile"
     BASE_DOCKER_IMAGE_NAME="z3_base_ubuntu:16.04"