Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Improve shell scripts | 2018-04-05 | |
| | |||
* | Normalize MacOS installer name. | 2018-01-04 | |
| | |||
* | Disable OSX signing for temporary artifacts. | 2017-09-11 | |
| | | | | | | | | 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-17 | |
| | | | | | 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-10 | |