{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":5913967,"defaultBranch":"develop","name":"liquidhaskell","ownerLogin":"ucsd-progsys","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2012-09-22T15:06:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2334735?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712702568.0","currentOid":""},"activityList":{"items":[{"before":"ff0f6fa511f35d126beb436dd7f203c05fc3fd62","after":"64569fa417cbeb7db1018af25957e1d2ece97651","ref":"refs/heads/gh-pages","pushedAt":"2024-04-09T22:43:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deployed 10d7ac4 with MkDocs version: 1.5.3","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ucsd-progsys/liquidhaskell/commit/10d7ac4bb7c7aed19e6f198a0fee06332d69c627/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/commit/10d7ac4bb7c7aed19e6f198a0fee06332d69c627\"><tt>10d7ac4</tt></a> with MkDocs version: 1.5.3"}},{"before":"5c9608ccfeef6415f51d5a09326da4bade30230c","after":null,"ref":"refs/heads/fd/liquid-dev-mode","pushedAt":"2024-04-09T22:42:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"}},{"before":"29927124128f17c81a2e7cbca3a1602cb7464aea","after":"10d7ac4bb7c7aed19e6f198a0fee06332d69c627","ref":"refs/heads/develop","pushedAt":"2024-04-09T22:42:47.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"Merge pull request #2280 from ucsd-progsys/fd/liquid-dev-mode\n\nDeemphasize LIQUID_DEV_MODE in the README","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2234304018\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ucsd-progsys/liquidhaskell/issues/2280\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ucsd-progsys/liquidhaskell/pull/2280/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/pull/2280\">#2280</a> from ucsd-progsys/fd/liquid-dev-mode"}},{"before":null,"after":"5c9608ccfeef6415f51d5a09326da4bade30230c","ref":"refs/heads/fd/liquid-dev-mode","pushedAt":"2024-04-09T21:08:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Deemphasize LIQUID_DEV_MODE in the README\n\nThe former description would signal to new contributors\nthat it was something desirable or necessary. Here I\nattempt to describe it in simpler terms and stop\nencouraging its use.","shortMessageHtmlLink":"Deemphasize LIQUID_DEV_MODE in the README"}},{"before":"02f3ac5b7140a970516564dd2bc85f9348780503","after":"1d89ab2d226724176da517663eddbe9a38080704","ref":"refs/heads/release/0.8.10.7.1","pushedAt":"2024-04-04T14:04:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Add upper bounds for Cabal and base in liquid-base custom-setup stanza","shortMessageHtmlLink":"Add upper bounds for Cabal and base in liquid-base custom-setup stanza"}},{"before":"d7f88d23ccf88dc0c9476712ad5de5467e164d4b","after":"02f3ac5b7140a970516564dd2bc85f9348780503","ref":"refs/heads/release/0.8.10.7.1","pushedAt":"2024-04-04T13:55:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Update liquid-base.cabal for liquidhaskell-0.8.10.7.1","shortMessageHtmlLink":"Update liquid-base.cabal for liquidhaskell-0.8.10.7.1"}},{"before":null,"after":"d7f88d23ccf88dc0c9476712ad5de5467e164d4b","ref":"refs/heads/release/0.8.10.7.1","pushedAt":"2024-04-04T13:50:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Add upperbound to tasty for liquidhaskell-0.8.10.7","shortMessageHtmlLink":"Add upperbound to tasty for liquidhaskell-0.8.10.7"}},{"before":"72da9907766dfad0006eb4d46ed0368786797d85","after":null,"ref":"refs/heads/circle","pushedAt":"2024-03-22T23:29:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"}},{"before":"65b55e550a4247b9ff2c07466417102ec0f1ce15","after":"ff0f6fa511f35d126beb436dd7f203c05fc3fd62","ref":"refs/heads/gh-pages","pushedAt":"2024-03-07T12:51:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deployed 2992712 with MkDocs version: 1.5.3","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ucsd-progsys/liquidhaskell/commit/29927124128f17c81a2e7cbca3a1602cb7464aea/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/commit/29927124128f17c81a2e7cbca3a1602cb7464aea\"><tt>2992712</tt></a> with MkDocs version: 1.5.3"}},{"before":"f2dc7d8a9344dec51156c74339659a00e7b793b7","after":null,"ref":"refs/heads/fd/merge-release-0.9.6.3.1","pushedAt":"2024-03-07T12:49:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"}},{"before":"4b20537529b2143cab0214564422c94fb93df9d9","after":"29927124128f17c81a2e7cbca3a1602cb7464aea","ref":"refs/heads/develop","pushedAt":"2024-03-07T12:49:53.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Merge pull request #2273 from ucsd-progsys/fd/merge-release-0.9.6.3.1\n\nMerge changes for release 0.9.6.3.1","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2173716004\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ucsd-progsys/liquidhaskell/issues/2273\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ucsd-progsys/liquidhaskell/pull/2273/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/pull/2273\">#2273</a> from ucsd-progsys/fd/merge-release-0.9.6.3.1"}},{"before":null,"after":"f2dc7d8a9344dec51156c74339659a00e7b793b7","ref":"refs/heads/fd/merge-release-0.9.6.3.1","pushedAt":"2024-03-07T12:05:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Merge tag 'v0.9.6.3.1' into HEAD","shortMessageHtmlLink":"Merge tag 'v0.9.6.3.1' into HEAD"}},{"before":null,"after":"1122fa9db55cc98b33730ab338f71554f7f65ed3","ref":"refs/heads/backports-0.9.6.3","pushedAt":"2024-03-07T11:37:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Bump version to 0.9.6.3.1 and update changelog","shortMessageHtmlLink":"Bump version to 0.9.6.3.1 and update changelog"}},{"before":"eb83d8840c8d7570aaf9c023a70da05d70b77646","after":"77ffa6535db66315dcd3b24b5744c81eb77d05f6","ref":"refs/heads/fd/ghc-9.9","pushedAt":"2024-03-07T10:58:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Update compiler version in cabal.project","shortMessageHtmlLink":"Update compiler version in cabal.project"}},{"before":"2004835e5c81a86d51cae6f5f16dcd9a8904bfb9","after":"eb83d8840c8d7570aaf9c023a70da05d70b77646","ref":"refs/heads/fd/ghc-9.9","pushedAt":"2024-03-02T22:21:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Updates to build with ghc HEAD 20240302","shortMessageHtmlLink":"Updates to build with ghc HEAD 20240302"}},{"before":"3c9e603d6f07a05376da4b32dd4a4a8bc1d33351","after":"65b55e550a4247b9ff2c07466417102ec0f1ce15","ref":"refs/heads/gh-pages","pushedAt":"2024-02-05T15:37:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deployed 4b20537 with MkDocs version: 1.5.3","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ucsd-progsys/liquidhaskell/commit/4b20537529b2143cab0214564422c94fb93df9d9/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/commit/4b20537529b2143cab0214564422c94fb93df9d9\"><tt>4b20537</tt></a> with MkDocs version: 1.5.3"}},{"before":"47f5fcd6a2e904896698b7ed2b1e956045c02327","after":null,"ref":"refs/heads/fd/test-files-lh-boot","pushedAt":"2024-02-05T15:36:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"}},{"before":"b7d0407707854d04f8da6c79a6ed3e3e041b79c3","after":"4b20537529b2143cab0214564422c94fb93df9d9","ref":"refs/heads/develop","pushedAt":"2024-02-05T15:36:30.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Merge pull request #2268 from ucsd-progsys/fd/test-files-lh-boot\n\nAdd test files of liquidhaskell-boot as extra-source-files","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2118784492\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ucsd-progsys/liquidhaskell/issues/2268\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ucsd-progsys/liquidhaskell/pull/2268/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/pull/2268\">#2268</a> from ucsd-progsys/fd/test-files-lh-boot"}},{"before":"144cf4296891c66c629c105c64ba34869d76ca0f","after":"2004835e5c81a86d51cae6f5f16dcd9a8904bfb9","ref":"refs/heads/fd/ghc-9.9","pushedAt":"2024-02-05T15:08:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Build LH with ghc 9.9","shortMessageHtmlLink":"Build LH with ghc 9.9"}},{"before":null,"after":"47f5fcd6a2e904896698b7ed2b1e956045c02327","ref":"refs/heads/fd/test-files-lh-boot","pushedAt":"2024-02-05T15:05:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Add test files of liquidhaskell-boot as extra-source-files","shortMessageHtmlLink":"Add test files of liquidhaskell-boot as extra-source-files"}},{"before":"b8b4f8bb41b99b4502b1c25d8392d2713ff5df96","after":"3c9e603d6f07a05376da4b32dd4a4a8bc1d33351","ref":"refs/heads/gh-pages","pushedAt":"2024-02-05T11:59:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deployed b7d0407 with MkDocs version: 1.5.3","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ucsd-progsys/liquidhaskell/commit/b7d0407707854d04f8da6c79a6ed3e3e041b79c3/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/commit/b7d0407707854d04f8da6c79a6ed3e3e041b79c3\"><tt>b7d0407</tt></a> with MkDocs version: 1.5.3"}},{"before":"b5d1e99af0c0b06a9f83db3a6528ede204681832","after":"b7d0407707854d04f8da6c79a6ed3e3e041b79c3","ref":"refs/heads/develop","pushedAt":"2024-02-05T11:58:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Bump version of liquidhaskell and update the change log","shortMessageHtmlLink":"Bump version of liquidhaskell and update the change log"}},{"before":"3e82d2f8cc99ad468778f5ecf7caa5ad274885f5","after":"b8b4f8bb41b99b4502b1c25d8392d2713ff5df96","ref":"refs/heads/gh-pages","pushedAt":"2024-02-05T11:34:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deployed b5d1e99 with MkDocs version: 1.5.3","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ucsd-progsys/liquidhaskell/commit/b5d1e99af0c0b06a9f83db3a6528ede204681832/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/commit/b5d1e99af0c0b06a9f83db3a6528ede204681832\"><tt>b5d1e99</tt></a> with MkDocs version: 1.5.3"}},{"before":"1bc095782aa35769905567bb6c815c5826a6e4b9","after":null,"ref":"refs/heads/fd/rm-liquid-platform","pushedAt":"2024-02-05T11:33:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"}},{"before":"77895faf2b27ffb023af9004688e8fc3c3524f54","after":"b5d1e99af0c0b06a9f83db3a6528ede204681832","ref":"refs/heads/develop","pushedAt":"2024-02-05T11:33:18.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Merge pull request #2267 from ucsd-progsys/fd/rm-liquid-platform\n\nRemove liquid-patform","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2116737939\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ucsd-progsys/liquidhaskell/issues/2267\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ucsd-progsys/liquidhaskell/pull/2267/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/pull/2267\">#2267</a> from ucsd-progsys/fd/rm-liquid-platform"}},{"before":"b8255d6072eced2b1e0a027d63d2d73b9f79fa37","after":"144cf4296891c66c629c105c64ba34869d76ca0f","ref":"refs/heads/fd/ghc-9.9","pushedAt":"2024-02-04T22:34:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Build LH with ghc 9.9","shortMessageHtmlLink":"Build LH with ghc 9.9"}},{"before":null,"after":"b8255d6072eced2b1e0a027d63d2d73b9f79fa37","ref":"refs/heads/fd/ghc-9.9","pushedAt":"2024-02-04T22:33:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Build LH with ghc 9.9","shortMessageHtmlLink":"Build LH with ghc 9.9"}},{"before":"6ab93cd21fc447050c2037ce20bd9115c95d24b0","after":"1bc095782aa35769905567bb6c815c5826a6e4b9","ref":"refs/heads/fd/rm-liquid-platform","pushedAt":"2024-02-04T01:09:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Do not overwrite syntax.css if it is being written by another thread","shortMessageHtmlLink":"Do not overwrite syntax.css if it is being written by another thread"}},{"before":"89c247b5a8468b83f82f273e9a6ed413d6e0e10b","after":"6ab93cd21fc447050c2037ce20bd9115c95d24b0","ref":"refs/heads/fd/rm-liquid-platform","pushedAt":"2024-02-04T00:53:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Do not overwrite syntax.css","shortMessageHtmlLink":"Do not overwrite syntax.css"}},{"before":"542441e0d31511c0585297d7cf5ab88a615bb675","after":"89c247b5a8468b83f82f273e9a6ed413d6e0e10b","ref":"refs/heads/fd/rm-liquid-platform","pushedAt":"2024-02-04T00:49:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facundominguez","name":"Facundo Domínguez","path":"/facundominguez","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1200667?s=80&v=4"},"commit":{"message":"Do not overwrite syntax.css","shortMessageHtmlLink":"Do not overwrite syntax.css"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAELHxGhAA","startCursor":null,"endCursor":null}},"title":"Activity · ucsd-progsys/liquidhaskell"}