Thomas Gazagnaire

If anyone is still interested to upstream some of the scripts in that repository, that could be great :-)

Also it doesn't help with copy/pasting code. Ideally the success and failure symbols should just be different, even if they have different colors. I advise to pick a consistent style,...

One idea could be to use a simple table instead of encoding the same information again and again on every line. So instead of: ``` alcotest-async 0.8.2 ③ ④ ⑤...

Also it would be nice if the columns to display should be customisable, for instance using a config file. Also maybe it's not worth showing the columns where everything is...

You can see an example here: https://github.com/mirage/irmin/blob/master/.travis.yml#L8 Basically just pin all the local packages to the local repo. Note: if you are using https://github.com/yomimono/autoci, this will be set automatically for...

Having a `PACKAGES` variables seems like a good idea. We could also try to use opam2 `opam pin .` to pin all the packages locally.

/cc @simonjbeaumont

(I believe it's because we turn on `set -u` in one of the main script)

Ping. Would be indeed very nice to have a new release (especially with the `dune` port).

@bmillwood my primary use-case is turning off some warnings on generated files, so something like: ``` (library ((name foo) (flags (per_file (:standard -w -32 (bar toto titi)) ... ```` I...