1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
{ "package": { "name": "coq", "repo": "coq", "subject": "coq" }, "version": { "name": "8.8+alpha" }, "files": [ {"includePattern": "_build/(.*\\.dmg)", "uploadPattern": "$1", "matrixParams": { "override": 1 } } ], "publish": true }