Remove Travis CI configs.

Z3Prover · Aug 3, 2022 · 3ab9628 · 3ab9628
1 parent 774ce3d
commit 3ab9628
Show file tree

Hide file tree

Showing 20 changed files with 0 additions and 1,341 deletions.
diff --git a/contrib/.travis.yml b/contrib/.travis.yml
diff --git a/contrib/ci/Dockerfiles/z3_base_ubuntu_20.04.Dockerfile b/contrib/ci/Dockerfiles/z3_base_ubuntu_20.04.Dockerfile
diff --git a/contrib/ci/Dockerfiles/z3_build.Dockerfile b/contrib/ci/Dockerfiles/z3_build.Dockerfile
diff --git a/contrib/ci/README.md b/contrib/ci/README.md
diff --git a/contrib/ci/maintainers.txt b/contrib/ci/maintainers.txt