coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add mit-plv/bedrock2-ci to CI	Andres Erbsen	2018-06-27
*	Merge PR #7793: [ci] update docker image to include elpi 1.0.4	Emilio Jesus Gallego Arias	2018-06-14
\|\
\| *	[ci] update docker image to include elpi 1.0.4	Enrico Tassi	2018-06-13
* \|	[ci] Require runner `docker` tag on `docker-boot` job.	Emilio Jesus Gallego Arias	2018-06-12
\|/
*	Merge PR #7515: gitlab: build sphinx doc in separate job	Emilio Jesus Gallego Arias	2018-06-09
\|\
* \	Merge PR #7642: Gitlab: retry failed jobs once	Emilio Jesus Gallego Arias	2018-06-09
\|\ \
\| \| *	gitlab: build sphinx doc in separate job	Gaëtan Gilbert	2018-06-08
\| * \|	Gitlab: retry failed "build" jobs once	Gaëtan Gilbert	2018-06-08
* \| \|	[ci] [docker] Pin specific versions of OPAM CI dependencies.	Emilio Jesus Gallego Arias	2018-06-06
\| \|/ \|/\|
* \|	Update .gitlab to use newer ocaml	Leonidas Lampropoulos	2018-06-02
* \|	QuickChick CI	Leonidas Lampropoulos	2018-06-02
* \|	Allow make clean to work on a fresh clone	Jason Gross	2018-05-25
\|/
*	Merge PR #7526: [circle] Use Docker image from Gitlab registry.	Gaëtan Gilbert	2018-05-22
\|\
* \|	[ci] [gitlab] Fix printenv sorting for variables that span multiple lines.	Emilio Jesus Gallego Arias	2018-05-21
\| *	[circle] Use Docker image from Gitlab registry.	Emilio Jesus Gallego Arias	2018-05-17
\|/
*	Merge PR #7442: Gitlab: build docker image in pipeline and use through registry.	Emilio Jesus Gallego Arias	2018-05-16
\|\
* \	Merge PR #7507: gitlab CI: fix [warnings] template	Emilio Jesus Gallego Arias	2018-05-16
\|\ \
\| \| *	Gitlab: skip docker job when $SKIP_DOCKER == "true".	Gaëtan Gilbert	2018-05-14
\| \| *	Gitlab: build docker image in pipeline and use through registry.	Gaëtan Gilbert	2018-05-14
\| \|/ \|/\|
* \|	Merge PR #7344: Windows packaging build with Gitlab CI	Gaëtan Gilbert	2018-05-14
\|\ \
\| \| *	gitlab CI: fix [warnings] template	Gaëtan Gilbert	2018-05-14
\| \|/ \|/\|
* \|	gitlab CI: remove math-classes job	Gaëtan Gilbert	2018-05-11
\| *	Windows packaging build with Gitlab CI	Maxime Dénès	2018-05-11
\|/
*	[ci] Add mit-plv/cross-crypto	Jason Gross	2018-05-09
*	[gitlab] Do expensive builds with a flambda-compiled Coq.	Emilio Jesus Gallego Arias	2018-05-08
*	[gitlab] Add bleeding-edge flambda build.	Emilio Jesus Gallego Arias	2018-05-07
*	[ci] Add ounit to the base Docker package set.	Emilio Jesus Gallego Arias	2018-05-07
*	[gitlab] [circleci] Use a Custom Docker Image as base CI setup.	Emilio Jesus Gallego Arias	2018-05-05
*	[ci]: add pidetop (fix #7336)	Enrico Tassi	2018-05-02
*	[gitlab] Update base image to Ubuntu bionic + some improvements.	Emilio Jesus Gallego Arias	2018-04-29
*	[doc] Remove unused dependencies.	Emilio Jesus Gallego Arias	2018-04-28
*	Merge PR #7376: Fix gitlab ubuntu version	Emilio Jesus Gallego Arias	2018-04-28
\|\
\| *	Fix gitlab ubuntu version	Gaëtan Gilbert	2018-04-28
* \|	[CI] elpi 1.0 has an official opam package	Enrico Tassi	2018-04-27
\|/
*	updating CI for Mtac2	Beta Ziliani	2018-04-25
*	CI: add fcsl-pcm	Anton Trunov	2018-04-20
*	gitlab: separate opam-boot jobs, use opam init and OPAMROOT	Gaëtan Gilbert	2018-04-16
*	gitlab: fix environment for build template	Gaëtan Gilbert	2018-03-30
*	Moving Gitlab CI documentation build to the main Coq build.	Maxime Dénès	2018-03-09
*	gitlab: install num for all jobs	Gaëtan Gilbert	2018-03-07
*	ci: add elpi	Enrico Tassi	2018-02-19
*	Gitlab: don't ./configure in documentation job	Gaëtan Gilbert	2017-12-18
*	[ci] CoLoR has moved to github	Emilio Jesus Gallego Arias	2017-12-07
*	CI: use -byte-only in [warnings] jobs.	Gaëtan Gilbert	2017-11-28
*	Make byte on gitlab.	Gaëtan Gilbert	2017-11-24
*	Add Equations to CI	Matthieu Sozeau	2017-11-20
*	Fix gitlab for 4.06	Gaëtan Gilbert	2017-11-15
*	[ci] [coq] Complete 4.06.0 support.	Emilio Jesus Gallego Arias	2017-11-13
*	[ci] Add Ltac2	Jason Gross	2017-11-04
*	rename ci-iris-coq -> ci-iris-lambda-rust	Ralf Jung	2017-10-19