{"action":"created","issue":{"url":"https://api.github.com/repos/math-comp/math-comp/issues/159","repository_url":"https://api.github.com/repos/math-comp/math-comp","labels_url":"https://api.github.com/repos/math-comp/math-comp/issues/159/labels{/name}","comments_url":"https://api.github.com/repos/math-comp/math-comp/issues/159/comments","events_url":"https://api.github.com/repos/math-comp/math-comp/issues/159/events","html_url":"https://github.com/math-comp/math-comp/issues/159","id":275773468,"node_id":"MDU6SXNzdWUyNzU3NzM0Njg=","number":159,"title":"Continuous Integration Meta Issue","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},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2017-11-21T16:21:23Z","updated_at":"2018-12-13T10:34:06Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"The purpose of this issue is to track some planned improvements to math-comp CI testing. In particular, more comprehensive testing of developments is sought as to be able to assess the impact of more aggressive changes.\r\n\r\nThe general idea here is to reuse Coq's work on that direction, which is planned to use a custom set of scripts and GitLab's pipelines. A rough todo list is: \r\n\r\n- [ ] Implement Gitlab mirroring, add basic `.gitlab-ci.yml`\r\n- [ ] Select contributions / users to test.\r\n- [ ] Wait for Coq's GitLab setup to be up, adapt to math-comp.\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/math-comp/math-comp/issues/comments/446920488","html_url":"https://github.com/math-comp/math-comp/issues/159#issuecomment-446920488","issue_url":"https://api.github.com/repos/math-comp/math-comp/issues/159","id":446920488,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0NjkyMDQ4OA==","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},"created_at":"2018-12-13T10:34:06Z","updated_at":"2018-12-13T10:34:06Z","author_association":"NONE","body":"I just wrote a summary about this here: https://github.com/coq-community/manifesto/issues/37\r\ntl;dr: CI with Nix works fine but is not ready yet for pushing artifacts that can be reused to build depending packages."}}
{"actor":{"display_login":"Zimmi48"}}