aboutsummaryrefslogtreecommitdiff
path: root/appveyor.yml
AgeCommit message (Expand)Author
2019-02-04Remove AppVeyor: superseded by Azure.Théo Zimmermann
2018-11-27[ci] [appveyor] Move Appveyor to OPAM 2.Emilio Jesus Gallego Arias
2018-10-11[ci] [appveyor] Enable cache for builds.Emilio Jesus Gallego Arias
2018-05-11Remove packaging jobs from appveyorMaxime Dénès
2018-02-28appveyor: build non-experimental tasks firstEnrico Tassi
2017-12-27Re-enable package building and artefact storage.Maxime Dénès
2017-12-27Fix #5998: AppVeyor package building is currently failingMaxime Dénès
2017-11-06Remove packaging scripts while waiting for a fix to #5998.Théo Zimmermann
2017-09-05Make AppVeyor generate Windows package.Maxime Dénès
2017-09-04fix test-suite/coq-makefile/findlib-package on windowsEnrico Tassi
2017-09-04Avoid reinstalling some Cygwin dependencies on AppVeyor.Maxime Dénès
2017-08-29Avoid running interactive tests on Windows.Maxime Dénès
2017-07-21Install time command under Cygwin (required for timing scripts).Maxime Dénès
2017-07-20Add AppVeyor infrastructure, launching the test suite under Windows.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 06:39:44 +0000