From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AD91E7FC18 for ; Mon, 16 Feb 2015 16:59:22 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.145; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=mailfrom; client-ip=132.167.192.145; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sainfoin-out.extra.cea.fr) identity=helo; client-ip=132.167.192.145; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@sainfoin-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DtAABrEuJUnJHAp4RcyhGCTwKBFkMBAQEBAQEQAQEBAQEICwkJFC6EDQEFMgEFQBELGAkWDwkDAgECAUUTCAKIKc1bDCCLDIR0FoQUBZ8+jD6EEYMxAQEB X-IPAS-Result: A0DtAABrEuJUnJHAp4RcyhGCTwKBFkMBAQEBAQEQAQEBAQEICwkJFC6EDQEFMgEFQBELGAkWDwkDAgECAUUTCAKIKc1bDCCLDIR0FoQUBZ8+jD6EEYMxAQEB X-IronPort-AV: E=Sophos;i="5.09,588,1418079600"; d="scan'208";a="121980412" Received: from sainfoin-out.extra.cea.fr ([132.167.192.145]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 16 Feb 2015 16:59:22 +0100 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by sainfoin.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.3) with ESMTP id t1GFxMfg022849 for ; Mon, 16 Feb 2015 16:59:22 +0100 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id A03962087D0 for ; Mon, 16 Feb 2015 17:00:22 +0100 (CET) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 8EBB42086CC for ; Mon, 16 Feb 2015 17:00:22 +0100 (CET) Received: from [132.166.86.41] ([132.166.86.41]) by muguet1.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.2) with ESMTP id t1GFxL25024014 for ; Mon, 16 Feb 2015 16:59:21 +0100 Message-ID: <54E213D9.6030705@cea.fr> Date: Mon, 16 Feb 2015 16:59:21 +0100 From: =?windows-1252?Q?Fran=E7ois_Bobot?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.3.0 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] OPAM: retiring 3.12.1 testing? On 16/02/2015 12:04, Anil Madhavapeddy wrote: > We are currently testing the following compiler versions on every pull request to OPAM; > > - OCaml 3.12.1 > - OCaml 4.00.1 > - OCaml 4.01.0 > - OCaml 4.02.0 > > > Running 6 compiler revisions per package puts quite a bit of stress on our Travis CI > resources, and so it's probably time to retire OCaml 3.12.1 from the testing matrix. > More than 3.12.1, I think 4.02.0 should retire when 4.02.1 enter. OCaml 4.02.1 added a lot of important fixes, I think nobody should use 4.02.0 instead of 4.02.1. Best, -- François Bobot