coq/dev/build/osx, branch master The formal proof system Remove macOS dmg build. 2021-04-16T10:10:45+00:00 Théo Zimmermann 2021-04-16T10:10:45+00:00 ed4a399cd7d7738c920aafabff749c742ef1ebc8 Now that the platform takes care of it. 
Now that the platform takes care of it.
[osx] macpack all binaries, not just coqide 2021-01-12T10:05:28+00:00 Enrico Tassi 2021-01-11T20:09:28+00:00 d784ac437a3924324f88f1e06e398d326f847ab4 






Update Azure MacOS version 10.13 -> 10.14
2020-03-13T13:12:03+00:00

Gaëtan Gilbert

2020-03-11T13:25:21+00:00

ac25e208d46107616cc714bad02e20aaae982edf

10.13 is deprecated as an azure VM

Close #11449





10.13 is deprecated as an azure VM

Close #11449







[CI/Azure/macOS] Install Coq into an artifact
2019-04-16T09:13:45+00:00

Vincent Laporte

2019-04-03T12:07:10+00:00

d960ff1028cf19f497871d7f0c5f0ae2143a73b3












Improve shell scripts
2018-04-05T21:05:43+00:00

zapashcanon

2018-02-21T21:42:10+00:00

250502b01340ec6bedace85c6a2d4a4e57a107cf












Normalize MacOS installer name.
2018-01-04T14:06:00+00:00

Théo Zimmermann

2017-10-20T16:37:51+00:00

fb987c6737d54faf8ea349e455cf970451de1d39












Disable OSX signing for temporary artifacts.
2017-09-11T09:07:31+00:00

Maxime Dénès

2017-09-11T09:07:31+00:00

865b9e8a95f8ea4f90e9fddd458d14c68a9ed08f

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.





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.







Make Travis generate OSX packages.
2017-08-17T13:14:57+00:00

Maxime Dénès

2017-06-08T12:16:10+00:00

fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd

The packages will be built only for main branches (not pull requests),
and are accessible via bintray: https://bintray.com/coq/coq





The packages will be built only for main branches (not pull requests),
and are accessible via bintray: https://bintray.com/coq/coq







Move OSX script.
2016-11-10T11:37:02+00:00

Maxime Dénès

2016-11-10T11:27:20+00:00

5a95de009158be1166b3998b99cafbccf4a0b2fa