From a4420033655e7f285c55803ce53ce9ca1e94b2a6 Mon Sep 17 00:00:00 2001
From: caballa <navasjorgea@gmail.com>
Date: Tue, 19 Sep 2023 09:21:04 -0600
Subject: [PATCH] ci: remove unused travis yaml file

---
 .travis.yml | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 3f4b6c68..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,22 +0,0 @@
-language: cpp
-dist: trusty
-os: linux
-cache: apt
-script:
-  - docker build --build-arg BRANCH=$TRAVIS_BRANCH -t seahorn/clam-llvm10:latest -f docker/clam.Dockerfile .
-  
-  - 'if [ "$TRAVIS_EVENT_TYPE" = "cron" ]; then
-        echo "$DOCKER_PASSWORD" | docker login -u "$DOCKER_USERNAME" --password-stdin &&
-        docker push seahorn/clam-llvm10:latest;       
-       fi '
-       
-services:
-  - docker
-install: true
-notifications:
-   slack: seahornteam:NAUqZmZHFFviPH4ktQbJXgKu
-   email:
-     recipients:
-     - seahorn-build@googlegroups.com
-     on_success: always
-     on_failure: always