aboutsummaryrefslogtreecommitdiffhomepage
path: root/appveyor.yml
Commit message (Expand)AuthorAge
* Remove packaging scripts while waiting for a fix to #5998.Gravatar Théo Zimmermann2017-11-06
* Make AppVeyor generate Windows package.Gravatar Maxime Dénès2017-09-05
* fix test-suite/coq-makefile/findlib-package on windowsGravatar Enrico Tassi2017-09-04
* Avoid reinstalling some Cygwin dependencies on AppVeyor.Gravatar Maxime Dénès2017-09-04
* Avoid running interactive tests on Windows.Gravatar Maxime Dénès2017-08-29
* Install time command under Cygwin (required for timing scripts).Gravatar Maxime Dénès2017-07-21
* Add AppVeyor infrastructure, launching the test suite under Windows.Gravatar Maxime Dénès2017-07-20