From a89f031fa0961ba19b0ab597761a4b901af4b188 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 8 Jun 2021 10:40:15 -0400 Subject: [PATCH] get rid of travis --- .travis.yml | 17 ----------------- README.md | 2 +- 2 files changed, 1 insertion(+), 18 deletions(-) delete mode 100644 .travis.yml diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index d666743d..00000000 --- a/.travis.yml +++ /dev/null @@ -1,17 +0,0 @@ -language: c -install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-docker.sh -script: bash -ex .travis-docker.sh -services: -- docker -env: - global: - - PINS="sidekick:. sidekick-arith:. sidekick-bin:." - - DISTRO="ubuntu-16.04" - matrix: - - PACKAGE="sidekick" CAML_VERSION="4.03" - - PACKAGE="sidekick" CAML_VERSION="4.06" - - PACKAGE="sidekick" CAML_VERSION="4.08" - - PACKAGE="sidekick" CAML_VERSION="4.10" - - PACKAGE="sidekick-arith" CAML_VERSION="4.03" - - PACKAGE="sidekick-arith" CAML_VERSION="4.10" - - PACKAGE="sidekick-bin" CAML_VERSION="4.06" diff --git a/README.md b/README.md index cd86a6aa..d4bc6182 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Sidekick [![Build (travis)](https://travis-ci.org/c-cube/sidekick.svg?branch=master)](https://travis-ci.org/c-cube/sidekick) ![Build (gh)](https://github.com/c-cube/sidekick/workflows/Build%20sidekick-bin/badge.svg) +# Sidekick ![Build (gh)](https://github.com/c-cube/sidekick/workflows/Build%20sidekick-bin/badge.svg) Sidekick is an OCaml library with a functor to create SMT solvers following the CDCL(T) approach (so called "lazy SMT").