{"push_id":2441560501,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"6d42ab26e743d62c3ca1218a78f7d21ba957b17f","before":"8c5b07107f040b3ce26717f1b359780c9c9ea86c","commits":[{"sha":"2f63b51b4314d363ea2d2282a38e801425e22807","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"[ #2878 ] cabal-install 2.2.0.0 fixed an issue with GHC 8.4.1.\n\nThe command `make install-bin` generates the following error using\nprevious versions of `cabal-install`:\n\n  Failed to install Agda-2.5.4\n  cabal: Error: some packages failed to install:\n  Agda-2.5.4-KXHLQFOYJSo9BesMhydjzQ failed during the final install step. The\n  exception was:\n  dieVerbatim: user error (cabal: Couldn't parse the output of 'setup register\n  --gen-pkg-config':NoParse\n  \"license\" 5\n  )","distinct":false,"url":"https://api.github.com/repos/agda/agda/commits/2f63b51b4314d363ea2d2282a38e801425e22807"},{"sha":"6d42ab26e743d62c3ca1218a78f7d21ba957b17f","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"Merge agda-stable","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/6d42ab26e743d62c3ca1218a78f7d21ba957b17f"}]}
{"actor":{"display_login":"asr"}}