coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-12-26	Set the locale in Docker so Python's default output encoding is utf-8	Jim Fehrle

2019-11-12	Expand documentation about generating a Docker image.	Pierre-Marie Pédrot

2018-05-17	[circle] Use Docker image from Gitlab registry.	Emilio Jesus Gallego Arias

2018-05-05	[gitlab] [circleci] Use a Custom Docker Image as base CI setup.	Emilio Jesus Gallego Arias
	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