From f266ffea779e6758dce61d6551ab850cc62c527e Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Mon, 4 May 2020 15:16:46 +0200 Subject: [PATCH] Remove TravisCI scripts (use ocaml-ci instead) --- .travis.yml | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 .travis.yml diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 9c902a4..0000000 --- a/.travis.yml +++ /dev/null @@ -1,19 +0,0 @@ -language: c -install: wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/master/.travis-docker.sh -script: bash -ex .travis-docker.sh -services: - - docker -sudo: false -env: - global: - - PACKAGE="base64" - - PRE_INSTALL_HOOK="cd /home/opam/opam-repository && git pull origin master && opam update -u -y" - matrix: - - DISTRO=debian-stable OCAML_VERSION=4.05 - - DISTRO=alpine OCAML_VERSION=4.06 - - DISTRO=ubuntu-16.04 OCAML_VERSION=4.07 -# - DISTRO=ubuntu-12.04 OCAML_VERSION=4.01.0 -# - DISTRO=ubuntu-16.04 OCAML_VERSION=4.03.0 -# - DISTRO=centos-6 OCAML_VERSION=4.02.3 -# - DISTRO=centos-7 OCAML_VERSION=4.03.0 -# - DISTRO=fedora-24 OCAML_VERSION=4.02.3