| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |