{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":91676091,"defaultBranch":"main","name":"granule","ownerLogin":"granule-project","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-05-18T09:40:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/43180470?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715159005.0","currentOid":""},"activityList":{"items":[{"before":"d4e11b154c8ecf3862fce0daed43f310e01dbce1","after":"98961762dae47a785c8869b0670df9b674fb4999","ref":"refs/heads/main","pushedAt":"2024-05-08T12:06:04.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"Add missing output file","shortMessageHtmlLink":"Add missing output file"}},{"before":"3fee7ab72969b3895331285383aae0822c23b183","after":null,"ref":"refs/heads/graded-base","pushedAt":"2024-05-08T09:03:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"}},{"before":null,"after":"be57723162cf7eebe61f65962001440fe2ba1a88","ref":"refs/heads/fix-LeftPad","pushedAt":"2024-05-08T09:02:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"buggymcbugfix","name":"Vilem Liepelt","path":"/buggymcbugfix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17603372?s=80&v=4"},"commit":{"message":"Add missing output file","shortMessageHtmlLink":"Add missing output file"}},{"before":"0ea34b67bebf65b4e02209d0e041a6d2ce157cc9","after":null,"ref":"refs/heads/guardContextExperimentDec18","pushedAt":"2024-05-08T09:02:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"}},{"before":"ebc64cae500cfcfed71fecd06b0e783c3333608a","after":null,"ref":"refs/heads/usage-intervals-fix-case","pushedAt":"2024-05-08T09:02:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"}},{"before":"016ef4bdb90b33824f26d0df96afc15b50e3ba80","after":null,"ref":"refs/heads/dev-minor","pushedAt":"2024-05-08T09:01:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"}},{"before":null,"after":"6fab0db5a4b49ac4cc505470a305296563d9c965","ref":"refs/heads/sbv-10","pushedAt":"2024-05-08T08:45:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"buggymcbugfix","name":"Vilem Liepelt","path":"/buggymcbugfix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17603372?s=80&v=4"},"commit":{"message":"Quantification bug","shortMessageHtmlLink":"Quantification bug"}},{"before":"b0e17d85da7bf3622c6255a3d48ad75b93c30179","after":"d4e11b154c8ecf3862fce0daed43f310e01dbce1","ref":"refs/heads/main","pushedAt":"2024-05-08T08:18:21.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"buggymcbugfix","name":"Vilem Liepelt","path":"/buggymcbugfix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17603372?s=80&v=4"},"commit":{"message":"filter out definitions with holes when trying examples","shortMessageHtmlLink":"filter out definitions with holes when trying examples"}},{"before":"2633083bd3f4c66d3536a6cd34e89da3fbbdf097","after":"016ef4bdb90b33824f26d0df96afc15b50e3ba80","ref":"refs/heads/dev-minor","pushedAt":"2024-05-03T08:10:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"buggymcbugfix","name":"Vilem Liepelt","path":"/buggymcbugfix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17603372?s=80&v=4"},"commit":{"message":"filter out definitions with holes when trying examples","shortMessageHtmlLink":"filter out definitions with holes when trying examples"}},{"before":"83bdac01ffe56c756fe7bfd6fd88a55577e37aa6","after":"b0e17d85da7bf3622c6255a3d48ad75b93c30179","ref":"refs/heads/main","pushedAt":"2024-05-02T08:10:45.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"buggymcbugfix","name":"Vilem Liepelt","path":"/buggymcbugfix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17603372?s=80&v=4"},"commit":{"message":"CI: use preinstalled Stack; fix caching","shortMessageHtmlLink":"CI: use preinstalled Stack; fix caching"}},{"before":"c137917f1f9ba7ab1557e85a55a471906f80e8e9","after":"2633083bd3f4c66d3536a6cd34e89da3fbbdf097","ref":"refs/heads/dev-minor","pushedAt":"2024-05-01T04:33:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"buggymcbugfix","name":"Vilem Liepelt","path":"/buggymcbugfix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17603372?s=80&v=4"},"commit":{"message":"filter out definitions with holes when trying examples","shortMessageHtmlLink":"filter out definitions with holes when trying examples"}},{"before":"e68e62471ce289187e2833d478469cee2014ad83","after":"c137917f1f9ba7ab1557e85a55a471906f80e8e9","ref":"refs/heads/dev-minor","pushedAt":"2024-04-09T12:41:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"filter out definitions with holes when trying examples","shortMessageHtmlLink":"filter out definitions with holes when trying examples"}},{"before":"e8a948010d136bc5610014eaf45ab1587da18515","after":"e68e62471ce289187e2833d478469cee2014ad83","ref":"refs/heads/dev-minor","pushedAt":"2024-03-18T20:37:31.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"buggymcbugfix","name":"Vilem Liepelt","path":"/buggymcbugfix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17603372?s=80&v=4"},"commit":{"message":"Switch around who gets to be the \"Normal\" Set","shortMessageHtmlLink":"Switch around who gets to be the \"Normal\" Set"}},{"before":"cbc07d0bf8b58824ab7fcf266ac2222286a98041","after":"e68e62471ce289187e2833d478469cee2014ad83","ref":"refs/heads/securityCoeffect","pushedAt":"2024-03-18T10:23:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"buggymcbugfix","name":"Vilem Liepelt","path":"/buggymcbugfix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17603372?s=80&v=4"},"commit":{"message":"Switch around who gets to be the \"Normal\" Set","shortMessageHtmlLink":"Switch around who gets to be the \"Normal\" Set"}},{"before":"8ff897c8c3cd776f11af20c92752e8b8157afceb","after":"cbc07d0bf8b58824ab7fcf266ac2222286a98041","ref":"refs/heads/securityCoeffect","pushedAt":"2024-03-16T21:28:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"buggymcbugfix","name":"Vilem Liepelt","path":"/buggymcbugfix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17603372?s=80&v=4"},"commit":{"message":"Add NonInterfering semiring predicate","shortMessageHtmlLink":"Add NonInterfering semiring predicate"}},{"before":"577b71ad768285cd8e91ef5d2a7f9249787b2059","after":"e8a948010d136bc5610014eaf45ab1587da18515","ref":"refs/heads/dev-minor","pushedAt":"2024-03-16T21:10:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"fix graded base on lambdas","shortMessageHtmlLink":"fix graded base on lambdas"}},{"before":"8690295d5358a62c027cc164d6a70c19b195189b","after":"8ff897c8c3cd776f11af20c92752e8b8157afceb","ref":"refs/heads/securityCoeffect","pushedAt":"2024-03-11T08:13:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"buggymcbugfix","name":"Vilem Liepelt","path":"/buggymcbugfix","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17603372?s=80&v=4"},"commit":{"message":"Add NonInterfering semiring predicate","shortMessageHtmlLink":"Add NonInterfering semiring predicate"}},{"before":"cd559b957d45348a00b56d4784dba70ccf28b584","after":"83bdac01ffe56c756fe7bfd6fd88a55577e37aa6","ref":"refs/heads/main","pushedAt":"2024-03-08T12:30:11.000Z","pushType":"pr_merge","commitsCount":111,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"Merge pull request #239 from granule-project/dev-minor\n\nv0.9.5.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2174027152\" data-permission-text=\"Title is private\" data-url=\"https://github.com/granule-project/granule/issues/239\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/granule-project/granule/pull/239/hovercard\" href=\"https://github.com/granule-project/granule/pull/239\">#239</a> from granule-project/dev-minor"}},{"before":"ee6e11cc1b08b7380681445b77f6b65370157a05","after":"577b71ad768285cd8e91ef5d2a7f9249787b2059","ref":"refs/heads/dev-minor","pushedAt":"2024-03-08T12:27:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"changelog","shortMessageHtmlLink":"changelog"}},{"before":"5f07f3d9fe49516f56fea89573ae4a0fe842d6cb","after":"ee6e11cc1b08b7380681445b77f6b65370157a05","ref":"refs/heads/dev-minor","pushedAt":"2024-03-08T12:22:55.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"update tests","shortMessageHtmlLink":"update tests"}},{"before":"77f9d9dbd678d3039f2468b774184cfbe99a7b2c","after":"5f07f3d9fe49516f56fea89573ae4a0fe842d6cb","ref":"refs/heads/dev-minor","pushedAt":"2024-03-08T12:05:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"update some tests","shortMessageHtmlLink":"update some tests"}},{"before":"e3b8898b64d7c73a4f1edafaf189bf50e0a4fa5c","after":"77f9d9dbd678d3039f2468b774184cfbe99a7b2c","ref":"refs/heads/dev-minor","pushedAt":"2024-03-08T11:47:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"fix cost example to be more precise","shortMessageHtmlLink":"fix cost example to be more precise"}},{"before":"9d8993365b344ee249e5f2cab6e2edd835310845","after":"e3b8898b64d7c73a4f1edafaf189bf50e0a4fa5c","ref":"refs/heads/dev-minor","pushedAt":"2024-03-07T23:39:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"slight naming tweak","shortMessageHtmlLink":"slight naming tweak"}},{"before":"2d180a5e08b4c17e8cdf650d0ff318a8148a96e3","after":"9d8993365b344ee249e5f2cab6e2edd835310845","ref":"refs/heads/dev-minor","pushedAt":"2024-03-07T23:10:50.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"handle redefinition problems in evaluator around deriving","shortMessageHtmlLink":"handle redefinition problems in evaluator around deriving"}},{"before":"38c1c182ef67e409cd26628c9edcdf2e43cb365b","after":"2d180a5e08b4c17e8cdf650d0ff318a8148a96e3","ref":"refs/heads/dev-minor","pushedAt":"2024-03-07T21:56:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"slightly tweak algebraic effects interface","shortMessageHtmlLink":"slightly tweak algebraic effects interface"}},{"before":"6f948b45459e22a4edbb2806cf89840ed77365fa","after":"38c1c182ef67e409cd26628c9edcdf2e43cb365b","ref":"refs/heads/dev-minor","pushedAt":"2024-03-07T17:08:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"add missing pattern arity check","shortMessageHtmlLink":"add missing pattern arity check"}},{"before":"1347734bb6a18e16d95d67436775fd007e4f6cbf","after":"6f948b45459e22a4edbb2806cf89840ed77365fa","ref":"refs/heads/dev-minor","pushedAt":"2024-03-07T15:02:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"update tests","shortMessageHtmlLink":"update tests"}},{"before":"c6a5d7b6082168fcbe25e79ffc5d1a5951333ce0","after":"1347734bb6a18e16d95d67436775fd007e4f6cbf","ref":"refs/heads/dev-minor","pushedAt":"2024-03-07T14:56:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"},"commit":{"message":"fix pretty printer so that it shows graded base types properly","shortMessageHtmlLink":"fix pretty printer so that it shows graded base types properly"}},{"before":"6eca25d9db1146c591d463968eb4aef693d3f86d","after":null,"ref":"refs/heads/rankN","pushedAt":"2024-03-07T14:39:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"}},{"before":"2be2e574e61a533ad7defab845d3032bf8b8d683","after":null,"ref":"refs/heads/fixes213","pushedAt":"2024-03-07T14:39:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dorchard","name":"Dominic Orchard","path":"/dorchard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32088?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERJQI8gA","startCursor":null,"endCursor":null}},"title":"Activity · granule-project/granule"}