{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":533268226,"defaultBranch":"main","name":"quickcheck-lockstep","ownerLogin":"well-typed","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-09-06T10:13:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7972992?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717065970.0","currentOid":""},"activityList":{"items":[{"before":"3548f43a0525f577b06a3ab8ce1dd559a2bded57","after":"d6886953b7e14c8ce6a6e42d1637803a305f541b","ref":"refs/heads/main","pushedAt":"2024-05-29T10:21:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"edsko","name":"Edsko de Vries","path":"/edsko","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/935288?s=80&v=4"},"commit":{"message":"Merge pull request #22 from jasagredo/js/revise-constraints\n\nRevise bounds on constraints package","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2322929111\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/quickcheck-lockstep/issues/22\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/quickcheck-lockstep/pull/22/hovercard\" href=\"https://github.com/well-typed/quickcheck-lockstep/pull/22\">#22</a> from jasagredo/js/revise-constraints"}},{"before":"18b4d77d7154d198ec810f4acacb1323b89ff294","after":null,"ref":"refs/heads/jdral/q-d-3.4","pushedAt":"2024-03-25T10:35:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"}},{"before":"60d51aacc5b49d9cb324ddcfb175b7a2c2ac3a08","after":"3548f43a0525f577b06a3ab8ce1dd559a2bded57","ref":"refs/heads/main","pushedAt":"2024-03-25T10:35:19.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Merge pull request #20 from well-typed/jdral/q-d-3.4\n\nSupport `quickcheck-dynamic-3.4`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2183943791\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/quickcheck-lockstep/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/quickcheck-lockstep/pull/20/hovercard\" href=\"https://github.com/well-typed/quickcheck-lockstep/pull/20\">#20</a> from well-typed/jdral/q-d-3.4"}},{"before":"b1491df732c07c4b7cacb8a860afd159a380ad42","after":"18b4d77d7154d198ec810f4acacb1323b89ff294","ref":"refs/heads/jdral/q-d-3.4","pushedAt":"2024-03-25T10:29:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Release `quickcheck-lockstep-0.5.0`","shortMessageHtmlLink":"Release <code>quickcheck-lockstep-0.5.0</code>"}},{"before":"5125b458af594cb191c8979a3987f1894a96a196","after":"b1491df732c07c4b7cacb8a860afd159a380ad42","ref":"refs/heads/jdral/q-d-3.4","pushedAt":"2024-03-25T10:26:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Release `quickcheck-lockstep-0.5.0`","shortMessageHtmlLink":"Release <code>quickcheck-lockstep-0.5.0</code>"}},{"before":"38baffb4b108b8a1b85fdcae4823c569888b18a3","after":null,"ref":"refs/heads/jdral/quickcheck-lockstep-0.4.0.1","pushedAt":"2024-03-20T10:23:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"}},{"before":"feca60c3d41c7e2550b2ed9b4c233d7ba5935c65","after":"60d51aacc5b49d9cb324ddcfb175b7a2c2ac3a08","ref":"refs/heads/main","pushedAt":"2024-03-20T10:23:05.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Merge pull request #21 from well-typed/jdral/quickcheck-lockstep-0.4.0.1\n\nRelease `quickcheck-lockstep-0.4.1`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2186209736\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/quickcheck-lockstep/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/quickcheck-lockstep/pull/21/hovercard\" href=\"https://github.com/well-typed/quickcheck-lockstep/pull/21\">#21</a> from well-typed/jdral/quickcheck-lockstep-0.4.0.1"}},{"before":"5b7c2ce94ce3f9b3d49cc42870dfb656f280d3d2","after":"38baffb4b108b8a1b85fdcae4823c569888b18a3","ref":"refs/heads/jdral/quickcheck-lockstep-0.4.0.1","pushedAt":"2024-03-20T10:20:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Release quickcheck-lockstep-0.4.1","shortMessageHtmlLink":"Release quickcheck-lockstep-0.4.1"}},{"before":null,"after":"5b7c2ce94ce3f9b3d49cc42870dfb656f280d3d2","ref":"refs/heads/jdral/quickcheck-lockstep-0.4.0.1","pushedAt":"2024-03-14T12:19:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Release quickcheck-lockstep-0.4.0.1","shortMessageHtmlLink":"Release quickcheck-lockstep-0.4.0.1"}},{"before":"dad78fe772ed43ec57b1d42e6b025777484f377e","after":"feca60c3d41c7e2550b2ed9b4c233d7ba5935c65","ref":"refs/heads/main","pushedAt":"2024-03-13T13:12:13.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Merge pull request #19 from well-typed/jdral/fix-mtl-2.3\n\nFix build with mtl^>=2.3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2147559281\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/quickcheck-lockstep/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/quickcheck-lockstep/pull/19/hovercard\" href=\"https://github.com/well-typed/quickcheck-lockstep/pull/19\">#19</a> from well-typed/jdral/fix-mtl-2.3"}},{"before":"dd8056e38f0369956a01972d6d7ff675220e99b3","after":null,"ref":"refs/heads/jdral/fix-mtl-2.3","pushedAt":"2024-03-13T13:12:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"}},{"before":"4870393484ecc3eb01e12c745d23ee271e480b17","after":null,"ref":"refs/heads/jdral/readme-in-sdist","pushedAt":"2024-03-13T13:07:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"}},{"before":"78365b206e573e6817feaf56c010d4a28ffb36fa","after":"dad78fe772ed43ec57b1d42e6b025777484f377e","ref":"refs/heads/main","pushedAt":"2024-03-13T13:07:26.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Merge pull request #18 from well-typed/jdral/readme-in-sdist\n\nInclude README in distributed code","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2140266100\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/quickcheck-lockstep/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/quickcheck-lockstep/pull/18/hovercard\" href=\"https://github.com/well-typed/quickcheck-lockstep/pull/18\">#18</a> from well-typed/jdral/readme-in-sdist"}},{"before":"ca40a5c98a442c14c9875fb889b545a4e1dbea6a","after":"5125b458af594cb191c8979a3987f1894a96a196","ref":"refs/heads/jdral/q-d-3.4","pushedAt":"2024-03-13T12:51:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":null,"after":"ca40a5c98a442c14c9875fb889b545a4e1dbea6a","ref":"refs/heads/jdral/q-d-3.4","pushedAt":"2024-03-13T12:48:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":null,"after":"dd8056e38f0369956a01972d6d7ff675220e99b3","ref":"refs/heads/jdral/fix-mtl-2.3","pushedAt":"2024-02-21T19:47:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Fix build with mtl^>=2.3","shortMessageHtmlLink":"Fix build with mtl^&gt;=2.3"}},{"before":"0f7f231c61922dbe96fa34701987c8a6ba0308a6","after":"78365b206e573e6817feaf56c010d4a28ffb36fa","ref":"refs/heads/main","pushedAt":"2024-02-21T19:46:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Merge pull request #15 from well-typed/jdral/13-valid-counter-examples\n\nFix counter-examples to produce valid code","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1954015395\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/quickcheck-lockstep/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/quickcheck-lockstep/pull/15/hovercard\" href=\"https://github.com/well-typed/quickcheck-lockstep/pull/15\">#15</a> from well-typed/jdral/13-valid-counter-examples"}},{"before":"78365b206e573e6817feaf56c010d4a28ffb36fa","after":"0f7f231c61922dbe96fa34701987c8a6ba0308a6","ref":"refs/heads/main","pushedAt":"2024-02-21T19:45:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Fix compilation failures with mtl^>=2.3","shortMessageHtmlLink":"Fix compilation failures with mtl^&gt;=2.3"}},{"before":null,"after":"4870393484ecc3eb01e12c745d23ee271e480b17","ref":"refs/heads/jdral/readme-in-sdist","pushedAt":"2024-02-17T16:26:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Include README in distributed code","shortMessageHtmlLink":"Include README in distributed code"}},{"before":"2d4994a4946cf7809742c2f45208dc16fdbc6797","after":null,"ref":"refs/heads/jdral/13-valid-counter-examples","pushedAt":"2024-02-17T16:07:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"}},{"before":"e1e24589f7a7505637184769364e7caca24bd9c6","after":"78365b206e573e6817feaf56c010d4a28ffb36fa","ref":"refs/heads/main","pushedAt":"2024-02-17T16:07:08.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Merge pull request #15 from well-typed/jdral/13-valid-counter-examples\n\nFix counter-examples to produce valid code","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1954015395\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/quickcheck-lockstep/issues/15\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/quickcheck-lockstep/pull/15/hovercard\" href=\"https://github.com/well-typed/quickcheck-lockstep/pull/15\">#15</a> from well-typed/jdral/13-valid-counter-examples"}},{"before":"2889f9dc7258ef37aebadeb3bff8d936a4c156b1","after":"2d4994a4946cf7809742c2f45208dc16fdbc6797","ref":"refs/heads/jdral/13-valid-counter-examples","pushedAt":"2024-02-17T16:03:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Fix counter-examples to produce valid code\n\nAlso: update GHC versions in GHA","shortMessageHtmlLink":"Fix counter-examples to produce valid code"}},{"before":"be2c44110db37f5c294d70cfc9e2743d1be61e10","after":null,"ref":"refs/heads/jdral/ghc-9.8","pushedAt":"2024-02-17T16:01:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"}},{"before":"ffb5cc4227302049065f580239ea3310769b34dd","after":"e1e24589f7a7505637184769364e7caca24bd9c6","ref":"refs/heads/main","pushedAt":"2024-02-17T16:01:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Merge pull request #17 from well-typed/jdral/ghc-9.8\n\nCompatibility with ghc-9.8","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2140216481\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/quickcheck-lockstep/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/quickcheck-lockstep/pull/17/hovercard\" href=\"https://github.com/well-typed/quickcheck-lockstep/pull/17\">#17</a> from well-typed/jdral/ghc-9.8"}},{"before":null,"after":"be2c44110db37f5c294d70cfc9e2743d1be61e10","ref":"refs/heads/jdral/ghc-9.8","pushedAt":"2024-02-17T15:55:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Compatibility with ghc-9.8","shortMessageHtmlLink":"Compatibility with ghc-9.8"}},{"before":"967cf5fd1081c8f65fb55c1ef0774394b408cee2","after":"2889f9dc7258ef37aebadeb3bff8d936a4c156b1","ref":"refs/heads/jdral/13-valid-counter-examples","pushedAt":"2024-02-10T21:32:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Update GHC versions in GHA","shortMessageHtmlLink":"Update GHC versions in GHA"}},{"before":"ef0db42a7e391e3c10d853ef773a9cd4ce9d6ba6","after":"967cf5fd1081c8f65fb55c1ef0774394b408cee2","ref":"refs/heads/jdral/13-valid-counter-examples","pushedAt":"2024-02-10T21:20:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"TOSQUASH","shortMessageHtmlLink":"TOSQUASH"}},{"before":null,"after":"ef0db42a7e391e3c10d853ef773a9cd4ce9d6ba6","ref":"refs/heads/jdral/13-valid-counter-examples","pushedAt":"2023-10-20T10:31:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Fix counter-examples to produce valid code","shortMessageHtmlLink":"Fix counter-examples to produce valid code"}},{"before":"f202cdcf6127e39afed4940cb4cd3b8f077a8beb","after":null,"ref":"refs/heads/jdral/release-0.3.0","pushedAt":"2023-10-20T08:43:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"}},{"before":"ad0b6eee2600bcb2f2c20204812534ecbc83c66c","after":"ffb5cc4227302049065f580239ea3310769b34dd","ref":"refs/heads/main","pushedAt":"2023-10-20T08:43:39.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jorisdral","name":"Joris Dral","path":"/jorisdral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/47450644?s=80&v=4"},"commit":{"message":"Merge pull request #14 from well-typed/jdral/release-0.3.0\n\nPrepare release for `quickcheck-lockstep-0.3.0`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1946800825\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/quickcheck-lockstep/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/quickcheck-lockstep/pull/14/hovercard\" href=\"https://github.com/well-typed/quickcheck-lockstep/pull/14\">#14</a> from well-typed/jdral/release-0.3.0"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEVszURwA","startCursor":null,"endCursor":null}},"title":"Activity · well-typed/quickcheck-lockstep"}