Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | appveyor: build non-experimental tasks first | Enrico Tassi | 2018-02-28 |
| | |||
* | 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-12-27 |
| | |||
* | Remove packaging scripts while waiting for a fix to #5998. | Théo Zimmermann | 2017-11-06 |
| | | | | This is a temporary commit which should be reverted once the issue is fixed. | ||
* | Make AppVeyor generate Windows package. | Maxime Dénès | 2017-09-05 |
| | |||
* | 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 | 2017-09-04 |
| | | | | For some reason, OPAM was not happy after we reinstalled curl. | ||
* | Avoid running interactive tests on Windows. | Maxime Dénès | 2017-08-29 |
| | | | | | This is a temporary workaround, until we fix the underlying issue which makes coqtop hang on those tests. | ||
* | Install time command under Cygwin (required for timing scripts). | Maxime Dénès | 2017-07-21 |
| | |||
* | Add AppVeyor infrastructure, launching the test suite under Windows. | Maxime Dénès | 2017-07-20 |