ligo/scripts/ci
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
..
create_apk.leveldb.sh CI: improve pipeline duration 2018-01-28 20:03:31 +01:00
create_binary.opam.sh CI: improve pipeline duration 2018-01-28 20:03:31 +01:00
create_docker_image.build_deps.sh CI: improve pipeline duration 2018-01-28 20:03:31 +01:00
create_docker_image.build.sh CI: improve pipeline duration 2018-01-28 20:03:31 +01:00
create_docker_image.minimal.sh CI: improve pipeline duration 2018-01-28 20:03:31 +01:00
create_docker_image.opam.sh CI: improve pipeline duration 2018-01-28 20:03:31 +01:00
create_opam_repository.tezos_deps.sh CI: improve pipeline duration 2018-01-28 20:03:31 +01:00
docker_registry_delete.sh CI: improve pipeline duration 2018-01-28 20:03:31 +01:00
docker_registry_read.sh CI: improve pipeline duration 2018-01-28 20:03:31 +01:00
docker_registry_tag.sh CI: improve pipeline duration 2018-01-28 20:03:31 +01:00
docker_registry.inc.sh CI: improve pipeline duration 2018-01-28 20:03:31 +01:00
leveldb-1.18.APKBUILD CI: improve pipeline duration 2018-01-28 20:03:31 +01:00