{"push_id":2433838712,"size":2,"distinct_size":2,"ref":"refs/heads/stable-2.5","head":"f0c3d1941900577fbda032aabaaa27720250cf35","before":"15b5e26f57b159d6e8bfa23a6218c5b6ef108691","commits":[{"sha":"0aaf5a3f75997b5f1d61739a8c530e9352c3d948","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"[ #2878 ] Fixed one error when compiling hTags with GHC 8.4.1.\n\n(but there are still other errors to fix)\n\n[ci skip]","distinct":true,"url":"https://api.github.com/repos/asr/my-agda/commits/0aaf5a3f75997b5f1d61739a8c530e9352c3d948"},{"sha":"f0c3d1941900577fbda032aabaaa27720250cf35","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"[ #2878 ] Added test with GHC 8.4.1 to Travis.\n\nhTags is not supporting GHC 8.4.1, so we skip this test (see\nIssue #3013).","distinct":true,"url":"https://api.github.com/repos/asr/my-agda/commits/f0c3d1941900577fbda032aabaaa27720250cf35"}]}
{"actor":{"display_login":"asr"}}