{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":5378924,"defaultBranch":"master","name":"equational-reasoning-in-haskell","ownerLogin":"konn","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2012-08-11T10:12:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/21860?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1715947692.0","currentOid":""},"activityList":{"items":[{"before":"87404a7321dbef62b604c957c87c88cdf49601b3","after":"5b4f46f2973137662eda454aca822d0fe9da6b02","ref":"refs/heads/master","pushedAt":"2024-05-17T12:11:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Merge pull request #12 from konn/ghc-9.10-followup\n\nGHC 9.10 Followup","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2302576331\" data-permission-text=\"Title is private\" data-url=\"https://github.com/konn/equational-reasoning-in-haskell/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/konn/equational-reasoning-in-haskell/pull/12/hovercard\" href=\"https://github.com/konn/equational-reasoning-in-haskell/pull/12\">#12</a> from konn/ghc-9.10-followup"}},{"before":"2db850ccef84f8463b8f85f2cc0be90c4d8e8718","after":null,"ref":"refs/heads/ghc-9.10-followup","pushedAt":"2024-05-17T12:11:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"}},{"before":null,"after":"2db850ccef84f8463b8f85f2cc0be90c4d8e8718","ref":"refs/heads/ghc-9.10-followup","pushedAt":"2024-05-17T12:08:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"fix: loosen upperBound","shortMessageHtmlLink":"fix: loosen upperBound"}},{"before":"5e2cee36b3ad121dd3890b17076b3d787b894253","after":null,"ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:56:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"}},{"before":"cfcc40f79a3a5923c106352945fc1d7efd28c95b","after":"87404a7321dbef62b604c957c87c88cdf49601b3","ref":"refs/heads/master","pushedAt":"2024-05-17T11:56:41.000Z","pushType":"pr_merge","commitsCount":12,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Merge pull request #11 from konn/konn/ghc-9.10\n\nAdds GHC 9.10","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2302493174\" data-permission-text=\"Title is private\" data-url=\"https://github.com/konn/equational-reasoning-in-haskell/issues/11\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/konn/equational-reasoning-in-haskell/pull/11/hovercard\" href=\"https://github.com/konn/equational-reasoning-in-haskell/pull/11\">#11</a> from konn/konn/ghc-9.10"}},{"before":"95fd19ba544e5f18753ec95e741afe92d202eb13","after":"5e2cee36b3ad121dd3890b17076b3d787b894253","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:53:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"fix: reformatted","shortMessageHtmlLink":"fix: reformatted"}},{"before":"10434d484e3517c719ba575069e355437acfd468","after":"95fd19ba544e5f18753ec95e741afe92d202eb13","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:51:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Version bumped","shortMessageHtmlLink":"Version bumped"}},{"before":"5e754d7219107c76cf83b0442f16f1848e89a149","after":"10434d484e3517c719ba575069e355437acfd468","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:51:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"cabal-version","shortMessageHtmlLink":"cabal-version"}},{"before":"0d58af6d2d7e0b5899f9ec95406a5107e6d5666f","after":"5e754d7219107c76cf83b0442f16f1848e89a149","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:50:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Cabal 3.0","shortMessageHtmlLink":"Cabal 3.0"}},{"before":"45128a115b471459d3095af0b7ea308a900a8ea4","after":"0d58af6d2d7e0b5899f9ec95406a5107e6d5666f","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:48:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Format and bumps up GHC 9.6","shortMessageHtmlLink":"Format and bumps up GHC 9.6"}},{"before":"5773a9932eaace1fd9bf0c167c0bfb6c7d7398bc","after":"45128a115b471459d3095af0b7ea308a900a8ea4","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:47:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"must be 9.6.5","shortMessageHtmlLink":"must be 9.6.5"}},{"before":"15a3e7ee0482a7f1d0cae3e1271c3f1417a7f044","after":"5773a9932eaace1fd9bf0c167c0bfb6c7d7398bc","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:43:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Adds import field","shortMessageHtmlLink":"Adds import field"}},{"before":"56fdce18c0b3066c6296e50ddb7abe39d779826c","after":"15a3e7ee0482a7f1d0cae3e1271c3f1417a7f044","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:43:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Adds import field","shortMessageHtmlLink":"Adds import field"}},{"before":"00bea8c85863b54fd28bdf49a1b9282bb0935034","after":"56fdce18c0b3066c6296e50ddb7abe39d779826c","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:42:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"revised","shortMessageHtmlLink":"revised"}},{"before":"4bd44f826cf3301e632d7fe7d615ca2e77b1ef39","after":"00bea8c85863b54fd28bdf49a1b9282bb0935034","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:38:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"ci: fixes checkout","shortMessageHtmlLink":"ci: fixes checkout"}},{"before":"2007ccd108b4f9cac92b7701801cf2cd8ba9f04e","after":"4bd44f826cf3301e632d7fe7d615ca2e77b1ef39","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:36:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"ci: fixes actions","shortMessageHtmlLink":"ci: fixes actions"}},{"before":null,"after":"2007ccd108b4f9cac92b7701801cf2cd8ba9f04e","ref":"refs/heads/konn/ghc-9.10","pushedAt":"2024-05-17T11:30:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"dev: bumps up minor versions and adds GHC 9.10","shortMessageHtmlLink":"dev: bumps up minor versions and adds GHC 9.10"}},{"before":"88de6dbabd6524c02f413a9aac7b698eaa72ab18","after":null,"ref":"refs/heads/konn/0.7.0.2","pushedAt":"2023-12-26T13:29:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"}},{"before":"0c2f4d921f45ac4471cdf9438c99d5eb0f0f7154","after":"cfcc40f79a3a5923c106352945fc1d7efd28c95b","ref":"refs/heads/master","pushedAt":"2023-12-26T13:29:29.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Merge pull request #10 from konn/konn/0.7.0.2\n\n0.7.0.2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2056410228\" data-permission-text=\"Title is private\" data-url=\"https://github.com/konn/equational-reasoning-in-haskell/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/konn/equational-reasoning-in-haskell/pull/10/hovercard\" href=\"https://github.com/konn/equational-reasoning-in-haskell/pull/10\">#10</a> from konn/konn/0.7.0.2"}},{"before":"298822a83a085835314160cdadc2d21ff067c982","after":"88de6dbabd6524c02f413a9aac7b698eaa72ab18","ref":"refs/heads/konn/0.7.0.2","pushedAt":"2023-12-26T13:26:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"fix: expand imports and remove equational-reasoning from constraints","shortMessageHtmlLink":"fix: expand imports and remove equational-reasoning from constraints"}},{"before":null,"after":"298822a83a085835314160cdadc2d21ff067c982","ref":"refs/heads/konn/0.7.0.2","pushedAt":"2023-12-26T13:21:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Version bumped","shortMessageHtmlLink":"Version bumped"}},{"before":"d098193613047e421b803b512bb4c1b6bce6369e","after":"0c2f4d921f45ac4471cdf9438c99d5eb0f0f7154","ref":"refs/heads/master","pushedAt":"2023-12-26T13:18:26.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Merge pull request #9 from konn/konn/ghc-9.8\n\nGHC 9.8","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2056396937\" data-permission-text=\"Title is private\" data-url=\"https://github.com/konn/equational-reasoning-in-haskell/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/konn/equational-reasoning-in-haskell/pull/9/hovercard\" href=\"https://github.com/konn/equational-reasoning-in-haskell/pull/9\">#9</a> from konn/konn/ghc-9.8"}},{"before":"2b09ef044492b54b6266352a204f8b63ac74cfa4","after":null,"ref":"refs/heads/konn/ghc-9.8","pushedAt":"2023-12-26T13:18:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"}},{"before":"b004e5e522e7eab0bbe7b0917daf530192b8d175","after":"2b09ef044492b54b6266352a204f8b63ac74cfa4","ref":"refs/heads/konn/ghc-9.8","pushedAt":"2023-12-26T13:15:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Stop supporting GHC <9","shortMessageHtmlLink":"Stop supporting GHC &lt;9"}},{"before":"fcdcdf31faf96b700fec7fd0134e0ba423e1ac13","after":"b004e5e522e7eab0bbe7b0917daf530192b8d175","ref":"refs/heads/konn/ghc-9.8","pushedAt":"2023-12-26T13:14:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Bumpup","shortMessageHtmlLink":"Bumpup"}},{"before":"c16f48a346aacf0c4f47cf38416aee25ed07afa2","after":"fcdcdf31faf96b700fec7fd0134e0ba423e1ac13","ref":"refs/heads/konn/ghc-9.8","pushedAt":"2023-12-26T13:13:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"stop importing","shortMessageHtmlLink":"stop importing"}},{"before":"4b2985336eb69a9015030bd4247569e47fab7739","after":"c16f48a346aacf0c4f47cf38416aee25ed07afa2","ref":"refs/heads/konn/ghc-9.8","pushedAt":"2023-12-26T13:11:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"deps: th-desugar >=1.16","shortMessageHtmlLink":"deps: th-desugar &gt;=1.16"}},{"before":null,"after":"4b2985336eb69a9015030bd4247569e47fab7739","ref":"refs/heads/konn/ghc-9.8","pushedAt":"2023-12-26T13:04:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Version bumps","shortMessageHtmlLink":"Version bumps"}},{"before":"f48473b92c1330c3487a46b437e626a621365b80","after":null,"ref":"refs/heads/konn/tested-with","pushedAt":"2023-03-20T07:49:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"}},{"before":"e8486de56684e5a6f71daeb9a472b55c7172eeca","after":"d098193613047e421b803b512bb4c1b6bce6369e","ref":"refs/heads/master","pushedAt":"2023-03-20T07:49:10.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"konn","name":"Hiromi Ishii","path":"/konn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21860?s=80&v=4"},"commit":{"message":"Merge pull request #8 from konn/konn/tested-with\n\nUpdates tested-with","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1631562504\" data-permission-text=\"Title is private\" data-url=\"https://github.com/konn/equational-reasoning-in-haskell/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/konn/equational-reasoning-in-haskell/pull/8/hovercard\" href=\"https://github.com/konn/equational-reasoning-in-haskell/pull/8\">#8</a> from konn/konn/tested-with"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0xN1QxMjoxMTo1NS4wMDAwMDBazwAAAARM4GVA","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0xN1QxMjoxMTo1NS4wMDAwMDBazwAAAARM4GVA","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0yMFQwNzo0OToxMC4wMDAwMDBazwAAAAMG8Z41"}},"title":"Activity · konn/equational-reasoning-in-haskell"}