caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Helmut Brandl <helmut.brandl@gmx.net>
To: caml users <caml-list@inria.fr>
Subject: [Caml-list] Opam packages and CI
Date: Tue, 9 Apr 2019 13:14:01 -0500	[thread overview]
Message-ID: <75C9EEF2-FE3C-409C-AF3E-786CD5592F86@gmx.net> (raw)

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.

My questions:

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

- Are there experiences and are they good?

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

- Isn’t 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’t there the risk that travis might block this form of usage in the future?

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

Thanks
Helmut

             reply	other threads:[~2019-04-09 18:14 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-04-09 18:14 Helmut Brandl [this message]
2019-04-09 18:49 ` Simon Cruanes
2019-04-09 18:54   ` Daniil Baturin
2019-04-09 21:36 ` Anil Madhavapeddy
2019-04-10 14:57   ` Helmut Brandl
2019-04-10 14:20 ` Louis Roché

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=75C9EEF2-FE3C-409C-AF3E-786CD5592F86@gmx.net \
    --to=helmut.brandl@gmx.net \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).