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 c5ff346549e7 (Postfix) with ESMTP id E34065D4 for ; Tue, 9 Apr 2019 21:36:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,330,1549926000"; d="scan'208,217";a="377929504" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Apr 2019 23:36:51 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D2BC782673; Tue, 9 Apr 2019 23:36:51 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 8CEAB8249D for ; Tue, 9 Apr 2019 23:36:41 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org IronPort-PHdr: =?us-ascii?q?9a23=3A5m2TXhD6AXKmVzelMwCPUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT6o8bcNUDSrc9gkEXOFd2Cra4d0qyP7uu5BzZIoc7Y9ixbKNoUD15NoP?= =?us-ascii?q?5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanJZuJrwsxhbJrXdEZu?= =?us-ascii?q?VbyX11Ll6Xgxrw+9288ZF+/yhMof4t69JMXaDndKkkULJUCygrPXoo78PxrxnD?= =?us-ascii?q?SgWP5noYUmoIlxdDHhbI4hLnUJrvqyX2ruVy1jWUMs3wVrA0RC+t77x3Rx/yiS?= =?us-ascii?q?cILCA2/WfKgcFtlq1boRahpxtiw47IZYyeKfRzcr/Bcd4cWGFMRdhaWTBfDYyg?= =?us-ascii?q?bosPF+sBMvher4nhvFsFsB+yCRCxCO/z1jNEg3n71rA43es8CwHLxAwuEdESv3?= =?us-ascii?q?vbsdv7OqUdX/67zKfP1jjMde9a2TLn5YjIbhwso/eBVq9wf8rLzkkvEhvIg0mW?= =?us-ascii?q?qYzkOzOey+MDvHKG4OpgT+2vlXQoqxlvrTey28gtipTCi4UPxVDC9CV5xJ04Jc?= =?us-ascii?q?emR0FnZt6kEZ9QuzudN4tsTcMvWmdlszs0xL0BvJ60ZikKyJI/yh7QavyHb4iI?= =?us-ascii?q?4g/4W+qLPTh4g3dldbSijBix6Uit0u3xWtOp3FtKoCdJiMfAum4N2hDJ6sWLV/?= =?us-ascii?q?1w9Vq71zmVzQDc8ORELFg0laXFL54hxaY9mYEJvkTZHS/6gl/2g7GKeUUj++io?= =?us-ascii?q?7/7rYrL8pp+TL4N0iwf+PboymsGnAek0KBUCUmiV9OimyrHv4030TK9Kg/Eriq?= =?us-ascii?q?XZtYrVJcUfpq63GQ9V1YMj5g6lADeg0dQYmWIKLEhbdx2biIjpOlXOLOr/Dfel?= =?us-ascii?q?jFSgiC1ryOzePr39HpXNKWDOn6v7crZ4705Q0Q4zzdFE55JIEbwBO/LyWkrptN?= =?us-ascii?q?PCFBM5Mgq0w/zmCNpnzI8eV3iPUeelN/byvFuN+/5nCfOFYoMR8GL9Jvwg+uKo?= =?us-ascii?q?h2Uwn1MZVaaszd0RZWzuTdp8JEDMSHzthp8kGGsKtxQ3VOHmhEzKBTdVZnKaRa?= =?us-ascii?q?834TA/ToW8AtGQFciWnLWd0XLjTdVtbWdcBwXJSC+wLtTWa7I3cCuXZ/RZvHkB?= =?us-ascii?q?XLmlRZUm0Ej05hX3wL1mKqzT4CJK7cu/hugw3PXakFQJzRIxF96UijvfVWx/mW?= =?us-ascii?q?IMATgs0/In+BEv+hK4yaF9xsdgO5lT6vdOC1hoP5fGzKpgBtv1WwaHec2GGg6r?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CdCwB6D61c/zPhmQVlEwEBBwEBAQQBA?= =?us-ascii?q?QcEAQGBZYIRaFABMieEDoh7gxuHJQGCDRSDSZR9gWcQIwgBhEACCIVYGgYGNBI?= =?us-ascii?q?BAQMBAQkBAgEBAQFsHAyCOikBgmYBAQEDASMdAwE1AQEDCwsEFCoCAlcGExuDB?= =?us-ascii?q?wGBXQMNDAEKrTdxgS+CeQcCgkSEZAEDBYEwhF+GaBeBf4E4H4JMPoIaRwKBKWW?= =?us-ascii?q?CXTGCJqUnYgmCU4UxhB6HYhpqk3WRdYpogxuBZiGBVn0IOyoBgkE+hTuFFIVAP?= =?us-ascii?q?gMwgQUBAY9mAQE?= X-IPAS-Result: =?us-ascii?q?A0CdCwB6D61c/zPhmQVlEwEBBwEBAQQBAQcEAQGBZYIRaFA?= =?us-ascii?q?BMieEDoh7gxuHJQGCDRSDSZR9gWcQIwgBhEACCIVYGgYGNBIBAQMBAQkBAgEBA?= =?us-ascii?q?QFsHAyCOikBgmYBAQEDASMdAwE1AQEDCwsEFCoCAlcGExuDBwGBXQMNDAEKrTd?= =?us-ascii?q?xgS+CeQcCgkSEZAEDBYEwhF+GaBeBf4E4H4JMPoIaRwKBKWWCXTGCJqUnYgmCU?= =?us-ascii?q?4UxhB6HYhpqk3WRdYpogxuBZiGBVn0IOyoBgkE+hTuFFIVAPgMwgQUBAY9mAQE?= X-IronPort-AV: E=Sophos;i="5.60,330,1549926000"; d="scan'208,217";a="302357303" X-MGA-submission: =?us-ascii?q?MDEWU+n+iZxzBviyLAZZk2IoJrr5VC32oOZjoQ?= =?us-ascii?q?GasIQEjizNww9rmlChhgNln+hZPQ1PdrolSip1WDG7tobBnNQRpoRPlT?= =?us-ascii?q?GsD0nLxg6YrliPpQclAvpAVJqDjKD90xvl+6dY9OpYAS2B37vZmRZyZy?= =?us-ascii?q?AQ0HxHiC5JGERQ+FbNowqwig=3D=3D?= Received: from bark.recoil.org ([5.153.225.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Apr 2019 23:36:40 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 4fc3c316; Tue, 9 Apr 2019 22:36:39 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=from :message-id:content-type:mime-version:subject:date:in-reply-to :cc:to:references; s=selector1; bh=WHDMOUu+DY9rzQGAVNsTG36uTfY=; b= dn1WkiQQ0dlmh54ZM4kTD5hAIx3rwyLkgdUt52RAc88KbQCEZUv9Q5kj6L4NynUC yUZFRar1HiYJC0JFIYLCSAwYiWy7DInpgU+JbEtlfXCyYsyFM+UNhTkh0X/Ux29N Ff4QX0Z4O2223Z2nkDkgjOPMC9XM4JUyup6nz38rqno= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=from :message-id:content-type:mime-version:subject:date:in-reply-to :cc:to:references; q=dns; s=selector1; b=J7QxKIPtOkvVnzH9JnK+kkb XvWQ5D4QKpe/JZJnSDcjTiBEnl8nSesi/deETocKc0JEmpOTNaJEMlgL38qkfJyk c98t8wKHMsZ9KuP29vJdykSwXv+tm+r+j0v8qYXUZrAG1fqLmoIFUiLxihxZWiOf opUGcyABCaDpTm4mr8aw= Received: by bark.recoil.org (OpenSMTPD) with ESMTPSA id 34c41745 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Tue, 9 Apr 2019 22:36:39 +0100 (BST) From: Anil Madhavapeddy Message-Id: Content-Type: multipart/alternative; boundary="Apple-Mail=_4C78316B-7617-4A72-9278-0385A7137DA0" Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.8\)) Date: Tue, 9 Apr 2019 22:36:38 +0100 In-Reply-To: <75C9EEF2-FE3C-409C-AF3E-786CD5592F86@gmx.net> Cc: caml users To: Helmut Brandl References: <75C9EEF2-FE3C-409C-AF3E-786CD5592F86@gmx.net> X-Mailer: Apple Mail (2.3445.104.8) Subject: Re: [Caml-list] Opam packages and CI Reply-To: Anil Madhavapeddy X-Loop: caml-list@inria.fr X-Sequence: 17472 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --Apple-Mail=_4C78316B-7617-4A72-9278-0385A7137DA0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 On 9 Apr 2019, at 19:14, Helmut Brandl wrote: >=20 > Hello list, >=20 > I would like to run some continuous integration like travis ci on my = opam package. Unfortunately ocaml is not supported directly by travis. = But I have found the GitHub repository ocaml/ocaml-ci-scripts and some = instructions on how to use it. Dear Helmut, > My questions: >=20 > - Is this a stable form on how to use travis with ocaml? >=20 > - Are there experiences and are they good? Last I checked, there were over 400 repositories on GitHub using = ocaml-ci-scripts. It's pretty stable. > - Why has this solution been chosen instead of integrating ocaml = support directly into travis? Why do you need direct integration with Travis? The use of the Docker = support has made the necessity for that essentially obsolete. See, for example: https://github.com/mirage/ocaml-cohttp/blob/master/.travis.yml = in cohttp, which uses Travis and Docker to test the libraries on a = variety of Linux distributions. > - Isn=E2=80=99t the solution an overkill, because it requires a = complete opam and ocaml installation on the travis machines in order to = test an opam package? Isn=E2=80=99t there the risk that travis might = block this form of usage in the future? >=20 > - Is there a better method to use CI with ocaml? This solution is pretty good for most people. I'd encourage you to give = it a try, and to contribute back any improvements or feature requests = you might have after trying it out for a while. regards, Anil= --Apple-Mail=_4C78316B-7617-4A72-9278-0385A7137DA0 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 On = 9 Apr 2019, at 19:14, Helmut Brandl <helmut.brandl@gmx.net> wrote:

Hello = list,

I would like to run some continuous = integration like travis ci on my opam package. Unfortunately ocaml is = not supported directly by travis. But I have found the GitHub repository = ocaml/ocaml-ci-scripts and some instructions on how to use it.

Dear = Helmut,

My questions:

- = Is this a stable form on how to use travis with ocaml?

- Are there experiences and are they good?

Last I = checked, there were over 400 repositories on GitHub using = ocaml-ci-scripts.  It's pretty stable.

- Why has this solution been chosen instead of integrating = ocaml support directly into travis?

Why do you = need direct integration with Travis?  The use of the Docker support = has made the necessity for that essentially obsolete.

See, for example:


This solution is pretty good for most people. = I'd encourage you to give it a try, and to contribute back any = improvements or feature requests you might have after trying it out for = a while.

regards,
Anil
= --Apple-Mail=_4C78316B-7617-4A72-9278-0385A7137DA0--