diff options
| author | Maxime Dénès | 2018-04-23 14:31:03 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-05-11 09:38:47 +0200 |
| commit | da489b118e2b088d36f798020f6aaffbe4cf4324 (patch) | |
| tree | e8b91604a1a6bddda11b679e2999f0e6230ddc7c /dev/ci/ci-iris-lambda-rust.sh | |
| parent | 5da17b8c60846913db18b0f9216d63898933aa52 (diff) | |
Windows packaging build with Gitlab CI
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.
Diffstat (limited to 'dev/ci/ci-iris-lambda-rust.sh')
0 files changed, 0 insertions, 0 deletions