coq/dev/ci/docker/bionic_coq/hooks/post_push, branch master The formal proof system [circle] Use Docker image from Gitlab registry. 2018-05-17T16:41:06+00:00 Emilio Jesus Gallego Arias 2018-05-16T11:37:43+00:00 3b089a920181aa6b6b959fc13ac86383f1c48198 






[gitlab] Add bleeding-edge flambda build.
2018-05-07T18:23:17+00:00

Emilio Jesus Gallego Arias

2018-05-05T17:23:49+00:00

cde263581c49a75f8abdbcb398511942906e6204

We also introduce a bit more systematic job naming: `base/edge`.

In order to make the flambda switch selectable we update the Docker
image so all the dependencies are installed in that one.

Note the extra quote rule for the flambda parameters, but unless we
can assign arrays to Gitlab variables there is not a good way to do
this I'm afraid.

With this patch we are getting close to being able to remove most
builds from Travis.





We also introduce a bit more systematic job naming: `base/edge`.

In order to make the flambda switch selectable we update the Docker
image so all the dependencies are installed in that one.

Note the extra quote rule for the flambda parameters, but unless we
can assign arrays to Gitlab variables there is not a good way to do
this I'm afraid.

With this patch we are getting close to being able to remove most
builds from Travis.







[ci] Add ounit to the base Docker package set.
2018-05-07T09:52:16+00:00

Emilio Jesus Gallego Arias

2018-05-07T08:55:39+00:00

52caadda3674c126cbec014f0727e696278868f3

This should help #6808.





This should help #6808.







[gitlab] [circleci] Use a Custom Docker Image as base CI setup.
2018-05-05T16:00:53+00:00

Emilio Jesus Gallego Arias

2018-04-29T00:12:16+00:00

daa023eba8044404fbc708b7ae6172a918f1f18b

We provide a custom `Dockerfile` for Coq's CI system, based on
`ubuntu:bionic`. The image includes the required set of packages and
OPAM switches.

This greatly simplifies the Gitlab and Circle scripts, at the cost of
having to push a Docker build for them to depend on.

Travis is not included in this PR as it requires significant more
refactoring due to lack of native Docker support.

This is work in progress but ready, a build hook is used so the image
is properly tagged in the Docker autobuilder.

We need to improve the autobuilder setup but this last point requires
some design on how to trigger it.

Fixes #7383





We provide a custom `Dockerfile` for Coq's CI system, based on
`ubuntu:bionic`. The image includes the required set of packages and
OPAM switches.

This greatly simplifies the Gitlab and Circle scripts, at the cost of
having to push a Docker build for them to depend on.

Travis is not included in this PR as it requires significant more
refactoring due to lack of native Docker support.

This is work in progress but ready, a build hook is used so the image
is properly tagged in the Docker autobuilder.

We need to improve the autobuilder setup but this last point requires
some design on how to trigger it.

Fixes #7383