{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":37725938,"defaultBranch":"master","name":"leancheck","ownerLogin":"rudymatela","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-06-19T14:22:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3999598?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707475154.0","currentOid":""},"activityList":{"items":[{"before":"c6da38d9a1b8f992c0ef4912575c194ad414535a","after":null,"ref":"refs/heads/ci/new","pushedAt":"2024-02-09T10:39:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"}},{"before":"60d28615d3a2821bc1cfc8d6d8cf4e8e0f5d09ff","after":"c6da38d9a1b8f992c0ef4912575c194ad414535a","ref":"refs/heads/ci/new","pushedAt":"2024-02-08T18:13:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"doc/tutorial.md: remove trailing whitespace\n\n... and consequently trigger the CI build :-)","shortMessageHtmlLink":"doc/tutorial.md: remove trailing whitespace"}},{"before":null,"after":"60d28615d3a2821bc1cfc8d6d8cf4e8e0f5d09ff","ref":"refs/heads/ci/new","pushedAt":"2024-02-08T18:05:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"brand new CI scripts","shortMessageHtmlLink":"brand new CI scripts"}},{"before":"073321509e8820e5778b65f97dc9d3aa6d26eaf5","after":"93076718c5fc6c6713bdf5702f84a25580154cb3","ref":"refs/heads/master","pushedAt":"2024-01-26T17:08:29.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"dev version bump","shortMessageHtmlLink":"dev version bump"}},{"before":"b2970e420e5c45bd9d5dbaf96015a42539dd6fd6","after":null,"ref":"refs/heads/lint/derive","pushedAt":"2024-01-26T10:49:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"}},{"before":"2cf5eeb60d5c83e9bd3299eef84689175ea84265","after":"073321509e8820e5778b65f97dc9d3aa6d26eaf5","ref":"refs/heads/master","pushedAt":"2024-01-26T10:49:47.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Derive: improve internal documentation","shortMessageHtmlLink":"Derive: improve internal documentation"}},{"before":"ab2285edf885d3d304edd6dae2705d930f4d6f69","after":"b2970e420e5c45bd9d5dbaf96015a42539dd6fd6","ref":"refs/heads/lint/derive","pushedAt":"2024-01-26T10:36:55.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Derive: refactor typeConstructors","shortMessageHtmlLink":"Derive: refactor typeConstructors"}},{"before":null,"after":"ab2285edf885d3d304edd6dae2705d930f4d6f69","ref":"refs/heads/lint/derive","pushedAt":"2024-01-26T09:21:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"LeanCheck.Derive: use fmap instead of liftM","shortMessageHtmlLink":"LeanCheck.Derive: use fmap instead of liftM"}},{"before":"419fbb5cc9fb07f49ae08bf1e9c49c8f2f5c144d","after":"2cf5eeb60d5c83e9bd3299eef84689175ea84265","ref":"refs/heads/master","pushedAt":"2024-01-25T17:31:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"undefinedOf: fix error location","shortMessageHtmlLink":"undefinedOf: fix error location"}},{"before":"40ef9a55e0470ba5cb5313be6f2676fbaaa54730","after":null,"ref":"refs/heads/fix/warnings","pushedAt":"2024-01-25T17:05:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"}},{"before":"66b11830f1ed5b587934f07b729c7f5cd9e83667","after":"419fbb5cc9fb07f49ae08bf1e9c49c8f2f5c144d","ref":"refs/heads/master","pushedAt":"2024-01-25T17:04:27.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"test/derive: use newtype instead of data","shortMessageHtmlLink":"test/derive: use newtype instead of data"}},{"before":null,"after":"40ef9a55e0470ba5cb5313be6f2676fbaaa54730","ref":"refs/heads/fix/warnings","pushedAt":"2024-01-25T16:55:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Makefile: activate -Werror again","shortMessageHtmlLink":"Makefile: activate -Werror again"}},{"before":"22fcc2521361cf069a4b4b33536c7897168ac069","after":"66b11830f1ed5b587934f07b729c7f5cd9e83667","ref":"refs/heads/master","pushedAt":"2024-01-25T16:47:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Makefile: simplify diff-test handling for tiers","shortMessageHtmlLink":"Makefile: simplify diff-test handling for tiers"}},{"before":"d13c6a54059e7cde50ddc66d25e9fb23d6358f72","after":"22fcc2521361cf069a4b4b33536c7897168ac069","ref":"refs/heads/master","pushedAt":"2024-01-25T16:26:53.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"fix txt location in leancheck.cabal","shortMessageHtmlLink":"fix txt location in leancheck.cabal"}},{"before":"111bfb8155c021b71c254ab205fdcbefd4c8f4c9","after":"d13c6a54059e7cde50ddc66d25e9fb23d6358f72","ref":"refs/heads/master","pushedAt":"2024-01-25T15:50:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Stats.headLength: clarify error origin","shortMessageHtmlLink":"Stats.headLength: clarify error origin"}},{"before":"bff54001624b6c1b8843e5c61a0286709f98e3a7","after":"111bfb8155c021b71c254ab205fdcbefd4c8f4c9","ref":"refs/heads/master","pushedAt":"2024-01-25T15:44:25.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"LeanCheck.Derive: qualify functions causing errors","shortMessageHtmlLink":"LeanCheck.Derive: qualify functions causing errors"}},{"before":"bff54001624b6c1b8843e5c61a0286709f98e3a7","after":null,"ref":"refs/heads/fix/lints","pushedAt":"2024-01-25T15:05:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"}},{"before":"a7e118f233e6162b9de45c9077fbf3ceefe1d603","after":"bff54001624b6c1b8843e5c61a0286709f98e3a7","ref":"refs/heads/master","pushedAt":"2024-01-25T15:05:19.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"test/*: use newtypes","shortMessageHtmlLink":"test/*: use newtypes"}},{"before":"faa110dacde35b0d9edc91b569f32c638cc479bc","after":"bff54001624b6c1b8843e5c61a0286709f98e3a7","ref":"refs/heads/fix/lints","pushedAt":"2024-01-25T14:59:47.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"test/*: use newtypes","shortMessageHtmlLink":"test/*: use newtypes"}},{"before":"5dabe232c5950d996d5a80320bef7be9a94d9c0c","after":"a7e118f233e6162b9de45c9077fbf3ceefe1d603","ref":"refs/heads/master","pushedAt":"2024-01-25T14:28:49.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"ShowFunction: remove uneeded comment","shortMessageHtmlLink":"ShowFunction: remove uneeded comment"}},{"before":null,"after":"faa110dacde35b0d9edc91b569f32c638cc479bc","ref":"refs/heads/fix/lints","pushedAt":"2024-01-25T14:23:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"LeanCheck.IO: use void","shortMessageHtmlLink":"LeanCheck.IO: use void"}},{"before":"9a851a9d71690050325d3c00100856e6280612d3","after":"5dabe232c5950d996d5a80320bef7be9a94d9c0c","ref":"refs/heads/master","pushedAt":"2024-01-25T14:12:47.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Stats: fuse maps","shortMessageHtmlLink":"Stats: fuse maps"}},{"before":"94fa196c3de756270d8f4e4bf25dd0dd96b14bb2","after":"9a851a9d71690050325d3c00100856e6280612d3","ref":"refs/heads/master","pushedAt":"2024-01-25T14:02:38.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Merge","shortMessageHtmlLink":"Merge"}},{"before":"d19137218487509491abd1b11b3aeee70739d826","after":null,"ref":"refs/heads/fix/warnings","pushedAt":"2024-01-23T18:17:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"}},{"before":null,"after":"d19137218487509491abd1b11b3aeee70739d826","ref":"refs/heads/fix/warnings","pushedAt":"2024-01-23T17:52:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Makefile: restore -Werror but without -W","shortMessageHtmlLink":"Makefile: restore -Werror but without -W"}},{"before":"94fa196c3de756270d8f4e4bf25dd0dd96b14bb2","after":null,"ref":"refs/heads/ci/update","pushedAt":"2024-01-23T17:50:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"}},{"before":"aafbf1a4e1f104527acb34ed3603729ba274f6bb","after":"94fa196c3de756270d8f4e4bf25dd0dd96b14bb2","ref":"refs/heads/master","pushedAt":"2024-01-23T17:49:01.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Makefile: remove -Werror flag","shortMessageHtmlLink":"Makefile: remove -Werror flag"}},{"before":"6fa35f94cb7fc9910e5ae25fe3ebd0f0da6a56e0","after":"94fa196c3de756270d8f4e4bf25dd0dd96b14bb2","ref":"refs/heads/ci/update","pushedAt":"2024-01-23T17:38:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Makefile: remove -Werror flag","shortMessageHtmlLink":"Makefile: remove -Werror flag"}},{"before":"5c731dd26e43cb1a0ad6b5faf3453a479cd47bc3","after":"6fa35f94cb7fc9910e5ae25fe3ebd0f0da6a56e0","ref":"refs/heads/ci/update","pushedAt":"2024-01-23T17:09:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"make GHC 9.8 happy replacing by tail with drop 1\n\nI could use -Wno-x-partial but then that would yield a warning of unrecognized\nwarning flags on earlier versions.  Replacing with `drop 1` seems to be the\neasiest option here...\n\nThough in this case I would actually appreciate the\nerror that tail throws!  [1..] :: [Integer] should always have a tail, I would\nsurely like to know with an error if for some reason it stops doing so!","shortMessageHtmlLink":"make GHC 9.8 happy replacing by tail with drop 1"}},{"before":"aafbf1a4e1f104527acb34ed3603729ba274f6bb","after":"5c731dd26e43cb1a0ad6b5faf3453a479cd47bc3","ref":"refs/heads/ci/update","pushedAt":"2024-01-23T16:58:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"CI: explicitly test on GHC 9.6 and GHC 9.8","shortMessageHtmlLink":"CI: explicitly test on GHC 9.6 and GHC 9.8"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD9mVTwQA","startCursor":null,"endCursor":null}},"title":"Activity · rudymatela/leancheck"}