{"action":"created","issue":{"url":"https://api.github.com/repos/NixOS/nixpkgs/issues/48288","repository_url":"https://api.github.com/repos/NixOS/nixpkgs","labels_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/48288/labels{/name}","comments_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/48288/comments","events_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/48288/events","html_url":"https://github.com/NixOS/nixpkgs/pull/48288","id":369716968,"node_id":"MDExOlB1bGxSZXF1ZXN0MjIyNTkxMzk5","number":48288,"title":" cedille: init at v1.0.0","user":{"login":"mpickering","id":1216657,"node_id":"MDQ6VXNlcjEyMTY2NTc=","avatar_url":"https://avatars3.githubusercontent.com/u/1216657?v=4","gravatar_id":"","url":"https://api.github.com/users/mpickering","html_url":"https://github.com/mpickering","followers_url":"https://api.github.com/users/mpickering/followers","following_url":"https://api.github.com/users/mpickering/following{/other_user}","gists_url":"https://api.github.com/users/mpickering/gists{/gist_id}","starred_url":"https://api.github.com/users/mpickering/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mpickering/subscriptions","organizations_url":"https://api.github.com/users/mpickering/orgs","repos_url":"https://api.github.com/users/mpickering/repos","events_url":"https://api.github.com/users/mpickering/events{/privacy}","received_events_url":"https://api.github.com/users/mpickering/received_events","type":"User","site_admin":false},"labels":[{"id":731735222,"node_id":"MDU6TGFiZWw3MzE3MzUyMjI=","url":"https://api.github.com/repos/NixOS/nixpkgs/labels/10.rebuild-darwin:%201-10","name":"10.rebuild-darwin: 1-10","color":"eeffee","default":false},{"id":731733923,"node_id":"MDU6TGFiZWw3MzE3MzM5MjM=","url":"https://api.github.com/repos/NixOS/nixpkgs/labels/10.rebuild-linux:%201-10","name":"10.rebuild-linux: 1-10","color":"eeffee","default":false},{"id":296126168,"node_id":"MDU6TGFiZWwyOTYxMjYxNjg=","url":"https://api.github.com/repos/NixOS/nixpkgs/labels/6.topic:%20emacs","name":"6.topic: emacs","color":"fef2c0","default":false},{"id":290122734,"node_id":"MDU6TGFiZWwyOTAxMjI3MzQ=","url":"https://api.github.com/repos/NixOS/nixpkgs/labels/8.has:%20package%20(new)","name":"8.has: package (new)","color":"009800","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":14,"created_at":"2018-10-12T21:30:15Z","updated_at":"2018-10-14T19:34:18Z","closed_at":"2018-10-14T19:30:52Z","author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/NixOS/nixpkgs/pulls/48288","html_url":"https://github.com/NixOS/nixpkgs/pull/48288","diff_url":"https://github.com/NixOS/nixpkgs/pull/48288.diff","patch_url":"https://github.com/NixOS/nixpkgs/pull/48288.patch"},"body":"###### Motivation for this change\r\n\r\n\r\n###### Things done\r\n\r\n<!-- Please check what applies. Note that these are not hard requirements but merely serve as information for reviewers. -->\r\n\r\n- [x] Tested using sandboxing ([nix.useSandbox](http://nixos.org/nixos/manual/options.html#opt-nix.useSandbox) on NixOS, or option `sandbox` in [`nix.conf`](http://nixos.org/nix/manual/#sec-conf-file) on non-NixOS)\r\n- Built on platform(s)\r\n   - [x] NixOS\r\n   - [ ] macOS\r\n   - [ ] other Linux distributions\r\n- [ ] Tested via one or more NixOS test(s) if existing and applicable for the change (look inside [nixos/tests](https://github.com/NixOS/nixpkgs/blob/master/nixos/tests))\r\n- [ ] Tested compilation of all pkgs that depend on this change using `nix-shell -p nox --run \"nox-review wip\"`\r\n- [x] Tested execution of all binary files (usually in `./result/bin/`)\r\n- [ ] Determined the impact on package closure size (by running `nix path-info -S` before and after)\r\n- [ ] Fits [CONTRIBUTING.md](https://github.com/NixOS/nixpkgs/blob/master/.github/CONTRIBUTING.md).\r\n\r\n---\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/NixOS/nixpkgs/issues/comments/429655324","html_url":"https://github.com/NixOS/nixpkgs/pull/48288#issuecomment-429655324","issue_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/48288","id":429655324,"node_id":"MDEyOklzc3VlQ29tbWVudDQyOTY1NTMyNA==","user":{"login":"GrahamcOfBorg","id":25447658,"node_id":"MDQ6VXNlcjI1NDQ3NjU4","avatar_url":"https://avatars2.githubusercontent.com/u/25447658?v=4","gravatar_id":"","url":"https://api.github.com/users/GrahamcOfBorg","html_url":"https://github.com/GrahamcOfBorg","followers_url":"https://api.github.com/users/GrahamcOfBorg/followers","following_url":"https://api.github.com/users/GrahamcOfBorg/following{/other_user}","gists_url":"https://api.github.com/users/GrahamcOfBorg/gists{/gist_id}","starred_url":"https://api.github.com/users/GrahamcOfBorg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/GrahamcOfBorg/subscriptions","organizations_url":"https://api.github.com/users/GrahamcOfBorg/orgs","repos_url":"https://api.github.com/users/GrahamcOfBorg/repos","events_url":"https://api.github.com/users/GrahamcOfBorg/events{/privacy}","received_events_url":"https://api.github.com/users/GrahamcOfBorg/received_events","type":"User","site_admin":false},"created_at":"2018-10-14T19:34:18Z","updated_at":"2018-10-14T19:34:18Z","author_association":"NONE","body":"<!--REQUEST_ID=18b94dd7-83ed-4771-8873-68de530d3cb9-->\nUnexpected error: command failed with exit code 1 on x86_64-darwin [(full log)](https://logs.nix.ci/?key=nixos/nixpkgs.48288&attempt_id=e2b1ff06-d55b-4869-a5a5-87912218dc76)\n\nAttempted: agdaIowaStdlib, cedille\n\n<details><summary>Partial log (click to expand)</summary><p>\n\n```\nagda  -v 0 sum-thms.agda\nagda  -v 0 tree-test.agda\nagda  -v 0 trie-thms.agda\nagda  -v 0 vector-test.agda\nagda  -v 0 vector-sort.agda\ninstalling\npost-installation fixup\nstrip is /nix/store/53nysl8bqwxihwzs1pgwka20nf8mbvlp-cctools-binutils-darwin/bin/strip\npatching script interpreter paths in /nix/store/fv8y6qwxywlljnca4yq8p490drl6shr0-agda-iowa-stdlib-1.4.0\nerror: build of '/nix/store/d2f78hp4z3ydysyhgpqg46iw5g88nbgx-cedille-1.0.0.drv' failed\n```\n</p></details>\n\n"}}
{"actor":{"display_login":"GrahamcOfBorg"}}