coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-07-16	Enable Coquelicot, Flocq, Interval and Gappa in extended/release Windows builds	Michael Soegtrop

2019-05-08	Remove ltac2 add-on from Windows installer now that it is in the main Coq ↵	Théo Zimmermann
	package.
2019-04-01	[CI] Disable Coquelicot on Windows	Vincent Laporte

2019-01-22	Merge PR #9225: Fix issue: Windows CI: cygwin install cache is not reused #9212	Maxime Dénès
	Reviewed-by: maximedenes
2018-12-14	Fix issue: Windows CI: cygwin install cache is not reused #9212	Michael Soegtrop

2018-12-12	Fix issue #9188 : Enable VST and aactactics in master	Michael Soegtrop

2018-11-28	[Windows CI] Do not build any addon if WINDOWS is not enabled_all_addons.	Théo Zimmermann
	Co-authored-by: Michael Soegtrop <michael.soegtrop@intel.com>
2018-10-05	Fix review requests	Michael Soegtrop

2018-10-05	Remove old folder delete (can interfere with unique folder creation)	Michael Soegtrop

2018-10-05	Fix issue #8659 - Not always build extended set of addons for Windows installer	Michael Soegtrop

2018-10-03	Fix issue #8321 "Add more useful addons to the Windows Installer"	Michael Soegtrop
	Implemented by merging addon changes in V8.8.2 (keeping everything on master)
2018-10-01	Fix issue 8610 - Change important CI DOS batch files to CRLF	Michael Soegtrop

2018-09-30	Fix issue 8603 Move Windows CI runs to folder C:/ci	Michael Soegtrop

2018-09-21	Use unique names in windows CI for cygwin and coq install folder	Michael Soegtrop
	Don't zip artifacts but create an artifact folder structure
2018-09-21	Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile ↵	Michael Soegtrop
	cleanup and stability and logging enhancements from v8.8
2018-06-25	Activate the build of Ltac2 and Equations in the Windows installer.	Théo Zimmermann

2018-05-11	Windows packaging build with Gitlab CI	Maxime Dénès
	We use a specific runner on Inria CloudStack. This allows us to have the same build infrastructure setup for signed and unsigned binary packages. The main Coq repository on Gitlab will produce unsigned binaries, using a runner without secret. On my repository, a one-click operation will sign the packages, making this part of the release process smoother.