{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":317198790,"defaultBranch":"master","name":"lean-liquid","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-11-30T11:14:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705966921.0","currentOid":""},"activityList":{"items":[{"before":"92f188bd17f34dbfefc92a83069577f708851aec","after":"087fffad55dc1dd8d54ab35c9816926a45b8c0fd","ref":"refs/heads/lean-3.48.0","pushedAt":"2024-01-23T02:00:42.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Merge pull request #131 from pitmonticone/master","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1928123131\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean-liquid/issues/131\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/lean-liquid/pull/131/hovercard\" href=\"https://github.com/leanprover-community/lean-liquid/pull/131\">#131</a> from pitmonticone/master"}},{"before":"fb5bda5b8a56d6b6af689e13dbf1446894c477cd","after":"8e2948017addca4f052e8d207d5b711e431be600","ref":"refs/heads/oleans","pushedAt":"2024-01-22T23:43:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PatrickMassot","name":"Patrick Massot","path":"/PatrickMassot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14060883?s=80&v=4"},"commit":{"message":"Update src oleans after strongly_exact rename","shortMessageHtmlLink":"Update src oleans after strongly_exact rename"}},{"before":"92029c757ea47e12dc7029997271928a4c03f78d","after":"087fffad55dc1dd8d54ab35c9816926a45b8c0fd","ref":"refs/heads/master","pushedAt":"2024-01-22T23:43:23.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"Merge pull request #131 from pitmonticone/master","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1928123131\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean-liquid/issues/131\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/lean-liquid/pull/131/hovercard\" href=\"https://github.com/leanprover-community/lean-liquid/pull/131\">#131</a> from pitmonticone/master"}},{"before":"d218802d1f3e9c3b6542801324e32d626b7bb894","after":null,"ref":"refs/heads/strongly-exact","pushedAt":"2024-01-22T23:42:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"}},{"before":"92f188bd17f34dbfefc92a83069577f708851aec","after":"92029c757ea47e12dc7029997271928a4c03f78d","ref":"refs/heads/master","pushedAt":"2024-01-22T23:42:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"Merge pull request #130 from leanprover-community/strongly-exact","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1804288337\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/lean-liquid/issues/130\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/lean-liquid/pull/130/hovercard\" href=\"https://github.com/leanprover-community/lean-liquid/pull/130\">#130</a> from leanprover-community/strongly-exact"}},{"before":"63d473e0d129ec6b713c0ca445b613df6f9b13ea","after":"fb5bda5b8a56d6b6af689e13dbf1446894c477cd","ref":"refs/heads/oleans","pushedAt":"2024-01-22T23:26:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PatrickMassot","name":"Patrick Massot","path":"/PatrickMassot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14060883?s=80&v=4"},"commit":{"message":"Add LTE oleans","shortMessageHtmlLink":"Add LTE oleans"}},{"before":null,"after":"63d473e0d129ec6b713c0ca445b613df6f9b13ea","ref":"refs/heads/oleans","pushedAt":"2024-01-22T23:20:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"PatrickMassot","name":"Patrick Massot","path":"/PatrickMassot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14060883?s=80&v=4"},"commit":{"message":"Add mathlib olean files","shortMessageHtmlLink":"Add mathlib olean files"}},{"before":"1fe78abcfbf20b08a3c7cf6e5821116f16263ac2","after":"888512eb0cd54c3805c1ba2a2c5c5978dd166b8c","ref":"refs/heads/exponential_growth","pushedAt":"2023-09-29T04:00:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":null,"after":"1fe78abcfbf20b08a3c7cf6e5821116f16263ac2","ref":"refs/heads/exponential_growth","pushedAt":"2023-09-19T10:14:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"start on bounds for constants","shortMessageHtmlLink":"start on bounds for constants"}},{"before":"794bd663cb416c47b475a1a146da095f4633f83d","after":"3229195a8e61be845d62280e48f27c59915ff931","ref":"refs/heads/strongly-exact-iff","pushedAt":"2023-07-14T13:45:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"add some \"move this\" comments","shortMessageHtmlLink":"add some \"move this\" comments"}},{"before":"d1c6969d6c852b4a747faec3fdb4479148cf9abd","after":"794bd663cb416c47b475a1a146da095f4633f83d","ref":"refs/heads/strongly-exact-iff","pushedAt":"2023-07-14T13:41:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"only 4 constants left","shortMessageHtmlLink":"only 4 constants left"}},{"before":"a627d394d454842eacef794cb14add430167253c","after":"d1c6969d6c852b4a747faec3fdb4479148cf9abd","ref":"refs/heads/strongly-exact-iff","pushedAt":"2023-07-14T13:20:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"d530520dc269f5e0e534bf024b668ee3463c3286","after":"a627d394d454842eacef794cb14add430167253c","ref":"refs/heads/strongly-exact-iff","pushedAt":"2023-07-14T08:20:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":null,"after":"d530520dc269f5e0e534bf024b668ee3463c3286","ref":"refs/heads/strongly-exact-iff","pushedAt":"2023-07-14T07:58:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"a tiny start on the converse","shortMessageHtmlLink":"a tiny start on the converse"}},{"before":null,"after":"d218802d1f3e9c3b6542801324e32d626b7bb894","ref":"refs/heads/strongly-exact","pushedAt":"2023-07-14T06:38:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"rename exact_with_constant to strongly_exact","shortMessageHtmlLink":"rename exact_with_constant to strongly_exact"}},{"before":"367f8cd4cac4828a093939c52b298aacc8dd4c40","after":"cc81541de6c4b9662002866b60268905b1c665ef","ref":"refs/heads/polyhedral-test","pushedAt":"2023-04-28T17:21:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"29a6c4bdd6088e3eb24f2e04e5a1e9060976f46d","after":"367f8cd4cac4828a093939c52b298aacc8dd4c40","ref":"refs/heads/polyhedral-test","pushedAt":"2023-04-28T15:11:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"e38479fa8096cf5a6af793f70956e12dbbc55d69","after":"29a6c4bdd6088e3eb24f2e04e5a1e9060976f46d","ref":"refs/heads/polyhedral-test","pushedAt":"2023-04-27T15:05:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"e4187e8d501a4ace404e7821718fcb73f60c15ed","after":"e38479fa8096cf5a6af793f70956e12dbbc55d69","ref":"refs/heads/polyhedral-test","pushedAt":"2023-04-27T13:49:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":null,"after":"e4187e8d501a4ace404e7821718fcb73f60c15ed","ref":"refs/heads/polyhedral-test","pushedAt":"2023-04-27T08:17:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jcommelin","name":"Johan Commelin","path":"/jcommelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5636705?s=80&v=4"},"commit":{"message":"weaken hyps on polyhedral lattices","shortMessageHtmlLink":"weaken hyps on polyhedral lattices"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yM1QwMjowMDo0Mi4wMDAwMDBazwAAAAPma03L","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yM1QwMjowMDo0Mi4wMDAwMDBazwAAAAPma03L","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0yN1QwODoxNzowNy4wMDAwMDBazwAAAAMhTPtJ"}},"title":"Activity · leanprover-community/lean-liquid"}