aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/gitlab.bat
AgeCommit message (Expand)Author
2020-05-07[win] CI build addons Coq-Elpi Hierarchy-BuilderEnrico Tassi
2019-07-16Enable Coquelicot, Flocq, Interval and Gappa in extended/release Windows buildsMichael Soegtrop
2019-05-08Remove ltac2 add-on from Windows installer now that it is in the main Coq pac...Théo Zimmermann
2019-04-01[CI] Disable Coquelicot on WindowsVincent Laporte
2019-01-22Merge PR #9225: Fix issue: Windows CI: cygwin install cache is not reused #9212Maxime Dénès
2018-12-14Fix issue: Windows CI: cygwin install cache is not reused #9212Michael Soegtrop
2018-12-12Fix issue #9188 : Enable VST and aactactics in masterMichael Soegtrop
2018-11-28[Windows CI] Do not build any addon if WINDOWS is not enabled_all_addons.Théo Zimmermann
2018-10-05Fix review requestsMichael Soegtrop
2018-10-05Remove old folder delete (can interfere with unique folder creation)Michael Soegtrop
2018-10-05Fix issue #8659 - Not always build extended set of addons for Windows installerMichael Soegtrop
2018-10-03Fix issue #8321 "Add more useful addons to the Windows Installer"Michael Soegtrop
2018-10-01Fix issue 8610 - Change important CI DOS batch files to CRLFMichael Soegtrop
2018-09-30Fix issue 8603 Move Windows CI runs to folder C:/ciMichael Soegtrop
2018-09-21Use unique names in windows CI for cygwin and coq install folderMichael Soegtrop
2018-09-21Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile clean...Michael Soegtrop
2018-06-25Activate the build of Ltac2 and Equations in the Windows installer.Théo Zimmermann
2018-05-11Windows packaging build with Gitlab CIMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:34:30 +0000