| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |