Commit Graph

7 Commits

Author SHA1 Message Date
Grégoire Henry
99d0603a53 Opam: use pinned repo in docker image 2018-06-28 13:45:05 +02:00
Grégoire Henry
8fd79d1a89 Docker: remove levedb from the docker image 2018-06-13 01:00:47 +02:00
Pietro
4c4d2121ce [ci]: recompile hidapi-0.8.0_rc1 package for alpine stable 2018-06-05 17:57:03 +02:00
Vincent Bernardoff
63e44af5e4 TLS: switch to ocaml-tls 2018-05-03 15:48:25 +02:00
Pierre Chambart
590ddb750f Change compiler's requested version 2018-02-22 05:36:57 +01:00
Grégoire Henry
3c2430e916 CI: use released version of opam-depext 2018-01-31 08:40:39 +01:00
Grégoire Henry
55db2dbf18 CI: improve pipeline duration
- do not use a intermediate docker image between 'build' and 'test'
- in 'build_deps', avoid downloading the cached image
- in 'prepare', use `opam bundle` to:
  - embedded the sources of dependency
  - reduce the embedded opam repository to the needed package

Other changes:

- reintroduced 'sudo' in the base image, it is needed by `opam depext`
  and the job 'publish:doc'
- moved the docker script used by the CI in `scripts/ci/`
2018-01-28 20:03:31 +01:00