{"action":"created","issue":{"url":"https://api.github.com/repos/coq/coq/issues/7161","repository_url":"https://api.github.com/repos/coq/coq","labels_url":"https://api.github.com/repos/coq/coq/issues/7161/labels{/name}","comments_url":"https://api.github.com/repos/coq/coq/issues/7161/comments","events_url":"https://api.github.com/repos/coq/coq/issues/7161/events","html_url":"https://github.com/coq/coq/issues/7161","id":310868366,"node_id":"MDU6SXNzdWUzMTA4NjgzNjY=","number":7161,"title":"Nightly builds roadmap","user":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars2.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"labels":[{"id":649047024,"node_id":"MDU6TGFiZWw2NDkwNDcwMjQ=","url":"https://api.github.com/repos/coq/coq/labels/kind:%20infrastructure","name":"kind: infrastructure","color":"006b75","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":9,"created_at":"2018-04-03T14:46:38Z","updated_at":"2018-09-26T11:47:46Z","closed_at":null,"author_association":"MEMBER","body":"Providing nightly Coq builds would simply mean having a webpage where users can download a binary package corresponding to the latest version of Coq master branch.\r\nThis should include at least the packages we provide now for released versions (MacOS, Windows 32 bits and Windows 64 bits) but it would be cool to provide more (e.g. a Debian / Ubuntu `.deb` binary package, a Nix package with a binary cache, etc).\r\n\r\nNightly builds are useful to ensure that all our users have the possibility of testing development (alpha) versions, including those who are on platforms where compiling Coq from sources is harder. In particular, developers of Coq packages we test in CI must be able to run their packages with the latest version of Coq master.\r\nAdditionally, providing a pre-compiled Linux package (`.deb` or Nix) would help gain build time for people testing their package on CI with the development version of Coq.\r\n\r\nWe are already quite close to providing nightly builds. Here are the steps I see:\r\n\r\n- [x] Build MacOS and Windows packages on CI.\r\n- [x] *(optional)* Build Linux binary packages on CI (done with Nix).\r\n- [ ] Give a precise version number to these packages. See #483.\r\n      What is the current status of this PR? @ejgallego do you intend to take care of finishing it and do you think that Dune is going to help here?\r\n- [ ] Choose where to host these packages. Because Travis doesn't provide native build artifact support, the MacOS package currently uses bintray. With a proper version number, it would make sense to use this platform for nightly builds and we could upload Windows package over there as well."},"comment":{"url":"https://api.github.com/repos/coq/coq/issues/comments/424685775","html_url":"https://github.com/coq/coq/issues/7161#issuecomment-424685775","issue_url":"https://api.github.com/repos/coq/coq/issues/7161","id":424685775,"node_id":"MDEyOklzc3VlQ29tbWVudDQyNDY4NTc3NQ==","user":{"login":"ejgallego","id":7192257,"node_id":"MDQ6VXNlcjcxOTIyNTc=","avatar_url":"https://avatars2.githubusercontent.com/u/7192257?v=4","gravatar_id":"","url":"https://api.github.com/users/ejgallego","html_url":"https://github.com/ejgallego","followers_url":"https://api.github.com/users/ejgallego/followers","following_url":"https://api.github.com/users/ejgallego/following{/other_user}","gists_url":"https://api.github.com/users/ejgallego/gists{/gist_id}","starred_url":"https://api.github.com/users/ejgallego/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ejgallego/subscriptions","organizations_url":"https://api.github.com/users/ejgallego/orgs","repos_url":"https://api.github.com/users/ejgallego/repos","events_url":"https://api.github.com/users/ejgallego/events{/privacy}","received_events_url":"https://api.github.com/users/ejgallego/received_events","type":"User","site_admin":false},"created_at":"2018-09-26T11:47:46Z","updated_at":"2018-09-26T11:47:46Z","author_association":"MEMBER","body":"Nix seems indeed like a good candidate for that, Docker is maybe too heavy and not so user-friendly."}}
{"actor":{"display_login":"ejgallego"}}