diff options
| author | Maxime Dénès | 2017-09-11 11:07:31 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-11 11:07:31 +0200 |
| commit | 865b9e8a95f8ea4f90e9fddd458d14c68a9ed08f (patch) | |
| tree | f59e793900e6835b8bbd1e44b899d571c5319747 /API/API.mli | |
| parent | 550309f90cfd1786cdc9a6ab093992eecac23fd4 (diff) | |
Disable OSX signing for temporary artifacts.
The OSX binaries were signed twice with a fake identity, leading to some
obscure errors on Travis in some cases.
We disable code signing for Travis artifacts. For released packages,
a proper signing will be applied manually.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions