From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 80A238249D for ; Wed, 10 Apr 2019 16:57:44 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=helmut.brandl@gmx.net; spf=Pass smtp.mailfrom=helmut.brandl@gmx.net; spf=None smtp.helo=postmaster@mout.gmx.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of helmut.brandl@gmx.net) identity=pra; client-ip=212.227.15.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of helmut.brandl@gmx.net designates 212.227.15.15 as permitted sender) identity=mailfrom; client-ip=212.227.15.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.gmx.net) identity=helo; client-ip=212.227.15.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="postmaster@mout.gmx.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A9QbNlhdt61E269nTo93X4X74lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS/Zx7h7PlgxGXEQZ/co6odzbaP6ua5BidQuN7B6ClELMUUEUddyI?= =?us-ascii?q?0/pE8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUoHdgN6q2O+s5pbdfxtHhCanYbN1MR66sRjdutMZjId/N6o90AbFr3lHd+?= =?us-ascii?q?lV2G9jOFafkwrh6suq85Nv7jhct+g9+8JcVKnxYrg1Q6FfADk6KW4++dfltQPE?= =?us-ascii?q?TQuB53scVnsZnx9VCAXb7x/0Q4n8vDLiuuVyxCeVM8v2TaspWTu59KdkVAXoiC?= =?us-ascii?q?YcODEn9mzcl9F9g7haoBKloBx/3pLUbYSIP/dwYq/RYdUXTndaU81PSyJOHJ+z?= =?us-ascii?q?b4oXD+oAI+lYqZX9p0ATphe6HAWgGf/jxiNNinLwwKY00fkuERve0QM8EN0ArX?= =?us-ascii?q?Tao9f7OqkRX+C70q7GwC7ZYP9K3Dfw8ojIfgwjrPyKQLl+cdDRyU4qFw7djFuf?= =?us-ascii?q?t4jlPzaI1uQRrmOW8vBgWvipi2E6rwF6vz+ixscyhYnNg4IV10zE+T9iz4YvP9?= =?us-ascii?q?K4TlN0Ydq/HZtfsiGbOJF6QsU8TGF0oSs3zKANt5C8fCgP0psnxhjfZuSIc4iJ?= =?us-ascii?q?/hLjVPuRLixiiH15f7K/ghC/+lWjxO3kTsS4zktGojRfntXSqHwA1Qbf5tWHR/?= =?us-ascii?q?dn40us2S6D2x3Q5+xAO0w4iKXWJpw7zrM0i5Yfq0rOEyDwlU7rlqGZbF8k9fKt?= =?us-ascii?q?6+n/YrXpuJucN4hshwH7NaQuh9C/Df43MggLUGmX4+K826P//UHhQbVKiOM5kr?= =?us-ascii?q?XBvZzEOMgXuLS1DxFL3osh8RqzEjer3M4FkXQHNF5FfQiIj4ntO1HAOvD4CvK/?= =?us-ascii?q?jkyskDh1w/DGO6DhAonXInfYirfuZ7B95FNYyAcowtBf4p1VBqsHIP3tRk/9rM?= =?us-ascii?q?bYAQMhMwyo3+bnD81w2Z8EVmKKBq+VKafSsV6T5uIzOOSMf48UuDPlK/c//fLu?= =?us-ascii?q?jHk5mUUcfaazx5cXZmq4TbxaJBCwZ3voyvIIHWcDoAMmQeDmmRXWWDhSY16oUq?= =?us-ascii?q?k75zV9D5ipW9TtXIeo1ZyM2CKmAtV8fGlABlTERXflc4CZR7EGciuULstJnTkU?= =?us-ascii?q?E76sV9lyhlmVqAbmxu8/faLv8SoCuMemjYAtvryBpVQJ7TVxSv+l/SSIRmBwkH?= =?us-ascii?q?kPQm5k06Vv50pw1gXaiPQqs7ljDdVWoshxfEIiL5eNneN/G5b0Vx6TJo7UGmbj?= =?us-ascii?q?ec2vBHQKdvx0w9IKZB8hSdClkwyF0C+6RbkYi+7TCQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ATAQDKA65chw8P49RlEwEBBQEBAQEBA?= =?us-ascii?q?gEBAQEHAgEBAQGBZYJ5A4EAJ4QOjBKHIIFoJYNdlH2BZxAjCAGEQAKFaxoHAQQ?= =?us-ascii?q?0EgEBAwEBCQECAQEBARMBAQEIDQkIKSMMgjopAYJmAQEBAQIBIx0BATcBBAsLG?= =?us-ascii?q?CcDAgJGEQYTG4MHAYFcAQMNCgILoTmKLHGBL4J5AQEFgkaBcAFKA4IhAwWBMIR?= =?us-ascii?q?fhmiBVz+BOAwTgkw+ghpHAoEpZYJdMYImiliIGGCRW2IHAoF2WQSFM4Qfh3yLW?= =?us-ascii?q?okKkXiKaYMbgWaBdzMaLkUqAYJBPoFMGoNVhFmGGCEzgQUBAY9mAQE?= X-IPAS-Result: =?us-ascii?q?A0ATAQDKA65chw8P49RlEwEBBQEBAQEBAgEBAQEHAgEBAQG?= =?us-ascii?q?BZYJ5A4EAJ4QOjBKHIIFoJYNdlH2BZxAjCAGEQAKFaxoHAQQ0EgEBAwEBCQECA?= =?us-ascii?q?QEBARMBAQEIDQkIKSMMgjopAYJmAQEBAQIBIx0BATcBBAsLGCcDAgJGEQYTG4M?= =?us-ascii?q?HAYFcAQMNCgILoTmKLHGBL4J5AQEFgkaBcAFKA4IhAwWBMIRfhmiBVz+BOAwTg?= =?us-ascii?q?kw+ghpHAoEpZYJdMYImiliIGGCRW2IHAoF2WQSFM4Qfh3yLWokKkXiKaYMbgWa?= =?us-ascii?q?BdzMaLkUqAYJBPoFMGoNVhFmGGCEzgQUBAY9mAQE?= X-IronPort-AV: E=Sophos;i="5.60,332,1549926000"; d="scan'208,217";a="302449838" X-MGA-submission: =?us-ascii?q?MDHL52ovTWpMzn9gehILC1XpRF8OnVrBb2s//B?= =?us-ascii?q?j+/IPNLAElE13BPRNsZ6VB+0M2V6TQV9JXP9r1T8NWf+Wl+e1EAQMSkG?= =?us-ascii?q?QxA0ZH5bHpfqgCg+SmWP3zLZi+tmVRrS4F2xyRUygtMA9jb98dE7Z6Fg?= =?us-ascii?q?UCejXcnX6WGLY0/vfEfn1Ddg=3D=3D?= Received: from mout.gmx.net ([212.227.15.15]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 10 Apr 2019 16:57:22 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1554908242; bh=ZmcY4dPfbs82N+r2F/RpLipA2elYJ250W33Xn3k8KTM=; h=X-UI-Sender-Class:Subject:From:In-Reply-To:Date:Cc:References:To; b=HT+1gRa8oqlCPiLu5bF4mo3P+W8ZIT08T29FNTJlIP8rVSQibEyit2Wu24k08FUAc 3QbZfoXQhgjuNZkikJKQYlrsF2bN/2jCq/zUmZONZn2A6JoiVIoWRTUxVFt7hgqT7P 5hChbFzN6na0EALf8AR0K/tiwOymntqNz+NxyVSk= X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Received: from [192.168.1.69] ([189.147.91.34]) by mail.gmx.com (mrgmx002 [212.227.17.190]) with ESMTPSA (Nemesis) id 0MTTKZ-1hLlIs1nyZ-00SPxl; Wed, 10 Apr 2019 16:57:21 +0200 Content-Type: multipart/alternative; boundary="Apple-Mail=_73A10901-1ED2-4DC6-9267-034186868754" Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.8\)) From: Helmut Brandl In-Reply-To: Date: Wed, 10 Apr 2019 09:57:18 -0500 Cc: caml users Message-Id: <3F095A3C-01A8-4488-923A-48D0D00C9DF6@gmx.net> References: <75C9EEF2-FE3C-409C-AF3E-786CD5592F86@gmx.net> To: Anil Madhavapeddy X-Mailer: Apple Mail (2.3445.104.8) X-Provags-ID: V03:K1:udVQrFnw0G0NLXmuMF2q1pMEBjWMAWnnO/tl9cH3qo+9HTFJLVv QLBZF0BuQRHV+b0ax1IadMGivcl9gRVz0849ABHIagxSIASALhB68Lkq0t0oK4WZdGXM2Vs /Qq8Wbej+CRBQSbeoFBN3te0Li1YLJe1CmNwIj5npe5pjcTyxA3u0BCjw/ukdPjMHXTi/GZ DoBWPS/B9qiMPXCW/9FCA== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:2hFPl4Y+brg=:OzCrjmkfpEx22jn2BJo2Vi a5oZfxm7ZQb80Ri6bm4mfs2iyKSH9pQin/LGWqJt7K33d/m+rdbk80FXRFqCHz1vS7dLZPzqp Mc9TyevIavWwRovKhMOzxcf7RQQSKAB/2U108cf1HiCayd6ZA/Qn3uReclIdnAuBMciXtiVb7 IyQla45VvjOt6Rvgm691LEmjB30fLPukV9ApbkrC5/WNajAzeWuCQX6/VB4oJz9+jIWjd/r3n AT+BD7TU+cS+JPFIjKXCbPINQu+oxkMaKLyAeQPNrcZHSi22eyLEkWF+ldg5Vh5ssuloI4Xtk JvW2XH8Q24ak3Y99pSvhmwCT9t6zDzEekLIJVcVhOic8AF0ZzxjUXInsalg1uTnD0IcQKTl/i aXfZVce2FFR9NOm9mD9/jb0bJlNea5C/1gUpNtuWz6YSrKMqbfaxsWWyiVJkJxJ3297UjET/g gcFUNTpfheB2YqsTkIDE+AtEKv9ALVXv+mk5tdgmgr+2rkPJXn+YPZ1f0DTEB1vdVeMnJeK44 h480HymTgrHle6QutFSjX+vvRH95aUBR+Pp0MoRbwiq7aIJKJ69A1Lv/KVoi7+9SU/nLKzO/A H275lFmKIOOJ+PbSbKZjLPk74xoOExzgT8dYgVtmkEKijfowyKzHA2OPqnJ4oqKYrjoFmi+36 6kXscfq6PABIfheJep15v0p6v5FH6S4uP8Avmo/JV8w51EuKFiidACf0Viv6q429/1YqA3ZXW TuUs6UeadfYS150PJ4B2J8oCAdo+u6ui29pSOuolIMpMXnZStm7Yta2A8Hut1VM2ZMePbmQyX KbDL3zgvplJ9FgrhmWGZnNgbPyooQ4wge7p3UgR3JXWh+b5afeLeNvX6HBnp6WDU04JVOGUKo zkHd3uBznIqyieE6LKFqVGkA4HM1XGcbc/KZ2jwTmmVVUspMG+lxwt7J15Ls+1KPv3cxqvwm/ 3fqKirAiUYQ== Subject: Re: [Caml-list] Opam packages and CI --Apple-Mail=_73A10901-1ED2-4DC6-9267-034186868754 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Thanks for all the hints. Some experiences: I have used the .travis.yaml file from the repo ocaml/ocaml-ci-scripts, red= uced the build matrix to a minimum (only 4.07) and it worked out of the box= . However to took approx 8 min for linux and 12 min for osx. Therefore I have changed in the travis file =E2=80=98.travis-opam.sh=E2=80= =99 to =E2=80=98.travis-docker.sh=E2=80=99 and added =E2=80=99services: -do= cker=E2=80=99, because docker has been recommended by many. Now the build failed after some seconds. Maybe there is more to do than thi= s trivial change to switch to docker. Is there some documentation on how to use docker? Is it worth the effort i.= e. will it run faster or has it more features? Regards Helmut > On Apr 9, 2019, at 16:36, Anil Madhavapeddy wrote: >=20 > 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 opa= m package. Unfortunately ocaml is not supported directly by travis. But I h= ave found the GitHub repository ocaml/ocaml-ci-scripts and some instruction= s on how to use it. >=20 > Dear Helmut, >=20 >> My questions: >>=20 >> - Is this a stable form on how to use travis with ocaml? >>=20 >> - Are there experiences and are they good? >=20 > Last I checked, there were over 400 repositories on GitHub using ocaml-ci= -scripts. It's pretty stable. >=20 >> - Why has this solution been chosen instead of integrating ocaml support= directly into travis? >=20 > Why do you need direct integration with Travis? The use of the Docker su= pport has made the necessity for that essentially obsolete. >=20 > See, for example: > https://github.com/mirage/ocaml-cohttp/blob/master/.travis.yml >=20 > in cohttp, which uses Travis and Docker to test the libraries on a variet= y of Linux distributions. >=20 >> - 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 opa= m package? Isn=E2=80=99t there the risk that travis might block this form o= f usage in the future? >>=20 >> - Is there a better method to use CI with ocaml? >=20 > This solution is pretty good for most people. I'd encourage you to give i= t a try, and to contribute back any improvements or feature requests you mi= ght have after trying it out for a while. >=20 > regards, > Anil --Apple-Mail=_73A10901-1ED2-4DC6-9267-034186868754 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Thanks for all the hints. = Some experiences:

I hav= e used the .travis.yaml file from the repo ocaml/ocaml-ci-scripts, reduced = the build matrix to a minimum (only 4.07) and it worked out of the box. How= ever to took approx 8 min for linux and 12 min for osx.

Therefore I have changed in the trav= is file =E2=80=98.travis-opam.sh=E2=80=99 to =E2=80=98.travis-docker.sh=E2= =80=99 and added =E2=80=99services: -docker=E2=80=99, because docker has be= en recommended by many.

Now the build failed after some seconds. Maybe there is more to do t= han this trivial change to switch to docker.

Is there some documentation on how to use docke= r? Is it worth the effort i.e. will it run faster or has it more features?<= /div>

Regards
Helmut


=
On Apr 9, 2019, at 16:= 36, Anil Madhavapeddy <ani= l@recoil.org> wrote:

On 9 Apr 2019, at 19:= 14, Helmut Brandl <h= elmut.brandl@gmx.net> wrote:

Hello list,

I would l= ike to run some continuous integration like travis ci on my opam package. U= nfortunately ocaml is not supported directly by travis. But I have found th= e 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 ocam= l?

- Are there experiences and are they good?<= br class=3D"">

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 int= o travis?

Why do you need direct integration with Travis?  The use o= f the Docker support has made the necessity for that essentially obsolete.<= /div>

See, for example:=
https://github.com/mirage/ocaml-cohttp/blo= b/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 ocam= l 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?

- Is there a better method to use= CI with ocaml?

This solution is pretty good for most people. I'd encourag= e 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<= /div>

= --Apple-Mail=_73A10901-1ED2-4DC6-9267-034186868754--