{"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:1716333338.0","currentOid":""},"activityList":{"items":[{"before":"c3ef93e80592e7148b7e4f1f1484e3366c3cd34e","after":"03ee4ab75dd59ab42ad16faf625ed1580c1abee0","ref":"refs/heads/gh-pages","pushedAt":"2024-05-23T13:52:04.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 347d71d with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ucsd-progsys/liquidhaskell/commit/347d71d889846121409d0c4e807074513605d022/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/commit/347d71d889846121409d0c4e807074513605d022\"><tt>347d71d</tt></a> with MkDocs version: 1.6.0"}},{"before":"da22c102c3b76d5bea0fc497e36c5f1a85f66601","after":"347d71d889846121409d0c4e807074513605d022","ref":"refs/heads/develop","pushedAt":"2024-05-23T13:50:50.000Z","pushType":"pr_merge","commitsCount":3,"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 #2284 from clayrat/9.8.2\n\nupdate GHC version to 9.8.2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2308123250\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ucsd-progsys/liquidhaskell/issues/2284\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ucsd-progsys/liquidhaskell/pull/2284/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/pull/2284\">#2284</a> from clayrat/9.8.2"}},{"before":"1845b1bbedb201d5b429fb47c3c0c5b33ae2d351","after":"c3ef93e80592e7148b7e4f1f1484e3366c3cd34e","ref":"refs/heads/gh-pages","pushedAt":"2024-05-22T22:59:20.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 da22c10 with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ucsd-progsys/liquidhaskell/commit/da22c102c3b76d5bea0fc497e36c5f1a85f66601/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/commit/da22c102c3b76d5bea0fc497e36c5f1a85f66601\"><tt>da22c10</tt></a> with MkDocs version: 1.6.0"}},{"before":"266b616c944f44f746b095e507d4e164ac5a9234","after":"da22c102c3b76d5bea0fc497e36c5f1a85f66601","ref":"refs/heads/develop","pushedAt":"2024-05-22T22:58:22.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":"Style edit in the install documentation","shortMessageHtmlLink":"Style edit in the install documentation"}},{"before":"7d4726d2aec6c9907a55add02c4146220bb1d2df","after":"1845b1bbedb201d5b429fb47c3c0c5b33ae2d351","ref":"refs/heads/gh-pages","pushedAt":"2024-05-22T21:19:59.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 266b616 with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ucsd-progsys/liquidhaskell/commit/266b616c944f44f746b095e507d4e164ac5a9234/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/commit/266b616c944f44f746b095e507d4e164ac5a9234\"><tt>266b616</tt></a> with MkDocs version: 1.6.0"}},{"before":"a41454bfa16b1e2c44b5b3467fca8e8a23fa20b0","after":"266b616c944f44f746b095e507d4e164ac5a9234","ref":"refs/heads/develop","pushedAt":"2024-05-22T21:19:01.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":"Provide some more cues about the differences when using cabal and stack","shortMessageHtmlLink":"Provide some more cues about the differences when using cabal and stack"}},{"before":"54d926da7731811da334303d47b841b8ebe26360","after":"7d4726d2aec6c9907a55add02c4146220bb1d2df","ref":"refs/heads/gh-pages","pushedAt":"2024-05-21T23:16:38.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 a41454b with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ucsd-progsys/liquidhaskell/commit/a41454bfa16b1e2c44b5b3467fca8e8a23fa20b0/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/commit/a41454bfa16b1e2c44b5b3467fca8e8a23fa20b0\"><tt>a41454b</tt></a> with MkDocs version: 1.6.0"}},{"before":"6c8f093c452ac4861cd38f548ebcce8c45dcbea5","after":null,"ref":"refs/heads/fd/fix-cabal-install","pushedAt":"2024-05-21T23:15:38.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":"a38d76895a10e1527423b73558607d487b003eae","after":"a41454bfa16b1e2c44b5b3467fca8e8a23fa20b0","ref":"refs/heads/develop","pushedAt":"2024-05-21T23:15:37.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 #2286 from ucsd-progsys/fd/fix-cabal-install\n\nFix failures with 'cabal install'","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2309238922\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ucsd-progsys/liquidhaskell/issues/2286\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ucsd-progsys/liquidhaskell/pull/2286/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/pull/2286\">#2286</a> from ucsd-progsys/fd/fix-cabal-install"}},{"before":null,"after":"6c8f093c452ac4861cd38f548ebcce8c45dcbea5","ref":"refs/heads/fd/fix-cabal-install","pushedAt":"2024-05-21T22:41:40.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":"Fix failures with 'cabal install'. Fixes #2258","shortMessageHtmlLink":"Fix failures with 'cabal install'. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #2258.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2100114186\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ucsd-progsys/liquidhaskell/issues/2258\" data-hovercard-type=\"issue\" data-hovercard-url=\"/ucsd-progsys/liquidhaskell/issues/2258/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/issues/2258\">#2258</a>"}},{"before":"64569fa417cbeb7db1018af25957e1d2ece97651","after":"54d926da7731811da334303d47b841b8ebe26360","ref":"refs/heads/gh-pages","pushedAt":"2024-05-17T06:22:03.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 a38d768 with MkDocs version: 1.6.0","shortMessageHtmlLink":"Deployed <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ucsd-progsys/liquidhaskell/commit/a38d76895a10e1527423b73558607d487b003eae/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/commit/a38d76895a10e1527423b73558607d487b003eae\"><tt>a38d768</tt></a> with MkDocs version: 1.6.0"}},{"before":"10d7ac4bb7c7aed19e6f198a0fee06332d69c627","after":"a38d76895a10e1527423b73558607d487b003eae","ref":"refs/heads/develop","pushedAt":"2024-05-17T06:20:44.000Z","pushType":"pr_merge","commitsCount":9,"pusher":{"login":"nikivazou","name":"Niki Vazou","path":"/nikivazou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/714933?s=80&v=4"},"commit":{"message":"Merge pull request #2282 from clayrat/elab-set\n\nupdate to latest liquid-fixpoint","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2295528106\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ucsd-progsys/liquidhaskell/issues/2282\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ucsd-progsys/liquidhaskell/pull/2282/hovercard\" href=\"https://github.com/ucsd-progsys/liquidhaskell/pull/2282\">#2282</a> from clayrat/elab-set"}},{"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"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUhPIPgA","startCursor":null,"endCursor":null}},"title":"Activity · ucsd-progsys/liquidhaskell"}