Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Re-enable package building and artefact storage. | 2017-12-27 | |
* | Fix #5998: AppVeyor package building is currently failing | 2017-12-27 | |
* | Remove packaging scripts while waiting for a fix to #5998. | 2017-11-06 | |
* | Make AppVeyor generate Windows package. | 2017-09-05 | |
* | fix test-suite/coq-makefile/findlib-package on windows | 2017-09-04 | |
* | Avoid reinstalling some Cygwin dependencies on AppVeyor. | 2017-09-04 | |
* | Avoid running interactive tests on Windows. | 2017-08-29 | |
* | Install time command under Cygwin (required for timing scripts). | 2017-07-21 | |
* | Add AppVeyor infrastructure, launching the test suite under Windows. | 2017-07-20 |