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 2205E5D4 for ; Wed, 10 Apr 2019 14:57:53 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,332,1549926000"; d="scan'208,217";a="378058949" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Apr 2019 16:57:50 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E8B528249D; Wed, 10 Apr 2019 16:57:50 +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 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 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 Reply-To: Helmut Brandl X-Loop: caml-list@inria.fr X-Sequence: 17476 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=_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, = reduced 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: = -docker=E2=80=99, because docker has been recommended by many. Now the build failed after some seconds. Maybe there is more to do than = this 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 = 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. >=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 = support 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 = variety 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 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? >=20 > 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. >=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 have 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. 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: -docker=E2=80=99, because docker has = been recommended by many.

Now the build failed after some seconds. Maybe there is more = to do than this 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 <anil@recoil.org> = wrote:

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:
https://github.com/mirage/ocaml-cohttp/blob/master/.travis.yml<= /a>

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?

- 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=_73A10901-1ED2-4DC6-9267-034186868754--