coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-12-10	Move Azure jobs to GitHub Actions.	Théo Zimmermann

2020-05-16	[ci] [azure] Rework windows Azure pipeline	Emilio Jesus Gallego Arias
	- use a different mirror for main cygwin archive - (always) publish build log as artifact - fix call to dune makefiles - we do just build Coq for now, as: + dune is rebuilding Coq to run the test-suite, this needs move investigation. + the test suite seems to take long and it times-out on Win.
2019-02-20	[azure] [ci] Build on Windows using Dune.	Emilio Jesus Gallego Arias
	We may want to keep the make-based and Dune job, however the make-based setup is tested by the INRIA workers so it may not be needed. In order for some test to run well, we always run in Dune with an absolute path. The easiest way to get a portable absolute path is to use OCaml itself so we introduce a small executable to do that. While we are at it, we do some cleanup of the test-suite `dune` file, in particular we remove useless comments, set `--no-buffer` so results can be seen in real time, and recognize the `NJOBS` variable as we have moved to a Dune version that supports env vars.
2018-12-17	Set up CI with Azure Pipelines	Gaëtan Gilbert