coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-02-04	Remove AppVeyor: superseded by Azure.	Théo Zimmermann

2018-11-27	[ci] [appveyor] Move Appveyor to OPAM 2.	Emilio Jesus Gallego Arias
	We update the Appveyor configuration so it uses OPAM 2.0, and thus it can install newer packages.
2018-10-11	[ci] [appveyor] Enable cache for builds.	Emilio Jesus Gallego Arias
	We cache CYGWIN and OPAM. Current cygwin install is not deterministic but should do the job in the scope of this job.
2018-05-11	Remove packaging jobs from appveyor	Maxime Dénès
	They are now done on Gitlab CI. The test suite on Windows stays on Appveyor.
2018-02-28	appveyor: build non-experimental tasks first	Enrico Tassi

2017-12-27	Re-enable package building and artefact storage.	Maxime Dénès

2017-12-27	Fix #5998: AppVeyor package building is currently failing	Maxime Dénès

2017-11-06	Remove packaging scripts while waiting for a fix to #5998.	Théo Zimmermann
	This is a temporary commit which should be reverted once the issue is fixed.
2017-09-05	Make AppVeyor generate Windows package.	Maxime Dénès

2017-09-04	fix test-suite/coq-makefile/findlib-package on windows	Enrico Tassi

2017-09-04	Avoid reinstalling some Cygwin dependencies on AppVeyor.	Maxime Dénès
	For some reason, OPAM was not happy after we reinstalled curl.
2017-08-29	Avoid running interactive tests on Windows.	Maxime Dénès
	This is a temporary workaround, until we fix the underlying issue which makes coqtop hang on those tests.
2017-07-21	Install time command under Cygwin (required for timing scripts).	Maxime Dénès

2017-07-20	Add AppVeyor infrastructure, launching the test suite under Windows.	Maxime Dénès