{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":183477487,"defaultBranch":"main","name":"egg","ownerLogin":"egraphs-good","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-04-25T17:08:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/71104912?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717111738.0","currentOid":""},"activityList":{"items":[{"before":"8f4da116c8352ee4d263255e36aa61f490fb124d","after":"cf339b6c6b710ce9872c244768ada93ec1f11931","ref":"refs/heads/gh-pages","pushedAt":"2024-05-30T23:29:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@de7086cae86f8d6d3d0a248c62091cbdda1171b6 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/de7086cae86f8d6d3d0a248c62091cbdda1171b6/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/de7086cae86f8d6d3d0a248c62091cbdda1171b6\"><tt>de7086c</tt></a> 🚀"}},{"before":null,"after":"5018b64a33089e6dc23cce3c5b15bfe006b43589","ref":"refs/heads/upstream-varargs","pushedAt":"2024-05-30T23:28:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Merge branch 'main' into upstream-varargs","shortMessageHtmlLink":"Merge branch 'main' into upstream-varargs"}},{"before":"7e60716cc757448bd672f2dc28ef9a0d074dce71","after":"de7086cae86f8d6d3d0a248c62091cbdda1171b6","ref":"refs/heads/main","pushedAt":"2024-05-30T23:28:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Use quanta for timing","shortMessageHtmlLink":"Use quanta for timing"}},{"before":"756a9282fda3a28c0fab7a411148bb232d9be8b3","after":"8f4da116c8352ee4d263255e36aa61f490fb124d","ref":"refs/heads/gh-pages","pushedAt":"2024-04-26T19:59:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@7e60716cc757448bd672f2dc28ef9a0d074dce71 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/7e60716cc757448bd672f2dc28ef9a0d074dce71/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/7e60716cc757448bd672f2dc28ef9a0d074dce71\"><tt>7e60716</tt></a> 🚀"}},{"before":"c11d03db646aca5f55df2632927eec958e1f4d4d","after":"7e60716cc757448bd672f2dc28ef9a0d074dce71","ref":"refs/heads/main","pushedAt":"2024-04-26T19:57:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add hook to ban e-matched cycles","shortMessageHtmlLink":"Add hook to ban e-matched cycles"}},{"before":"2d5e953e93d2039cf8ad7f4c5fb0af448403495e","after":"756a9282fda3a28c0fab7a411148bb232d9be8b3","ref":"refs/heads/gh-pages","pushedAt":"2024-04-24T23:20:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@c11d03db646aca5f55df2632927eec958e1f4d4d 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/c11d03db646aca5f55df2632927eec958e1f4d4d/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/c11d03db646aca5f55df2632927eec958e1f4d4d\"><tt>c11d03d</tt></a> 🚀"}},{"before":"efcf0340284ec0d318ce8858e75caf71bdd2a475","after":"2d5e953e93d2039cf8ad7f4c5fb0af448403495e","ref":"refs/heads/gh-pages","pushedAt":"2024-04-24T23:20:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@556a6b387f2cfb28c826b23629ecea29413ed032 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/556a6b387f2cfb28c826b23629ecea29413ed032/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/556a6b387f2cfb28c826b23629ecea29413ed032\"><tt>556a6b3</tt></a> 🚀"}},{"before":"556a6b387f2cfb28c826b23629ecea29413ed032","after":"c11d03db646aca5f55df2632927eec958e1f4d4d","ref":"refs/heads/main","pushedAt":"2024-04-24T23:18:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add `hashmap_with_capacity` (#313)\n\n* add hash_map_with_capacity\r\n\r\n* rm _","shortMessageHtmlLink":"Add <code>hashmap_with_capacity</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2262151192\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egg/issues/313\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egg/pull/313/hovercard\" href=\"https://github.com/egraphs-good/egg/pull/313\">#313</a>)"}},{"before":"2f1514c58517e2f38acfe337175f843f156530cf","after":"556a6b387f2cfb28c826b23629ecea29413ed032","ref":"refs/heads/main","pushedAt":"2024-04-24T23:18:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Fix proofs: switch to `BigUint` instead of `Saturating<usize>` for proof cost (#310)\n\n* switch to biguint instead of saturating usize for proof cost\r\n\r\n* nits","shortMessageHtmlLink":"Fix proofs: switch to <code>BigUint</code> instead of <code>Saturating&lt;usize&gt;</code> for pr…"}},{"before":"8fdf95c9ffafab98a42727b5b29499eb78c8953b","after":"efcf0340284ec0d318ce8858e75caf71bdd2a475","ref":"refs/heads/gh-pages","pushedAt":"2024-04-16T15:26:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@2f1514c58517e2f38acfe337175f843f156530cf 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/2f1514c58517e2f38acfe337175f843f156530cf/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/2f1514c58517e2f38acfe337175f843f156530cf\"><tt>2f1514c</tt></a> 🚀"}},{"before":"64013639ca0dda8dd6484b262259cc87c8addd95","after":"2f1514c58517e2f38acfe337175f843f156530cf","ref":"refs/heads/main","pushedAt":"2024-04-16T15:24:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Fix matching perf regression\n\nIntroduced in ae8af8815231e4aba1b78962f8c07ce837ee1c0e, this bug caused the default impl of search for patterns to bypass the discriminator index.","shortMessageHtmlLink":"Fix matching perf regression"}},{"before":"352c30c289ca365ce99f99858489c0e13e8ad566","after":"8fdf95c9ffafab98a42727b5b29499eb78c8953b","ref":"refs/heads/gh-pages","pushedAt":"2024-04-03T19:44:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@3231b8686625339684d531375775d2717bca77c0 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/3231b8686625339684d531375775d2717bca77c0/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/3231b8686625339684d531375775d2717bca77c0\"><tt>3231b86</tt></a> 🚀"}},{"before":"9bfa85a4fd91e8afb3cbc456bc3bdc5194e84e29","after":"352c30c289ca365ce99f99858489c0e13e8ad566","ref":"refs/heads/gh-pages","pushedAt":"2024-04-03T19:06:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@64013639ca0dda8dd6484b262259cc87c8addd95 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/64013639ca0dda8dd6484b262259cc87c8addd95/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/64013639ca0dda8dd6484b262259cc87c8addd95\"><tt>6401363</tt></a> 🚀"}},{"before":"3231b8686625339684d531375775d2717bca77c0","after":"64013639ca0dda8dd6484b262259cc87c8addd95","ref":"refs/heads/main","pushedAt":"2024-04-03T19:04:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add example in doc comment of 'RecExpr' (#308)","shortMessageHtmlLink":"Add example in doc comment of 'RecExpr' (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2220816926\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egg/issues/308\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egg/pull/308/hovercard\" href=\"https://github.com/egraphs-good/egg/pull/308\">#308</a>)"}},{"before":"c7e928499799198f5ec6327c08fdd949470d064a","after":"3231b8686625339684d531375775d2717bca77c0","ref":"refs/heads/main","pushedAt":"2024-04-03T19:04:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add nodes field to EGraph (#291)\n\n* Added `nodes` field to `EGraph` to avoid storing nodes in `analysis` and `analysis_pending`\r\n\r\n* eliminated `node` field of `ExplainNode` (used `EGraph.nodes` instead)\r\n\r\n* serde\r\n\r\n* serde\r\n\r\n* Clarify `id_to_expr` and prevent `copy_with_unions` when explanations are disabled\r\n\r\n* Added note that enode in `make` may not be canonical","shortMessageHtmlLink":"Add nodes field to EGraph (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2064589112\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egg/issues/291\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egg/pull/291/hovercard\" href=\"https://github.com/egraphs-good/egg/pull/291\">#291</a>)"}},{"before":"54773513ec94f0cc7bad1839d8e8b1bb2766076f","after":"9bfa85a4fd91e8afb3cbc456bc3bdc5194e84e29","ref":"refs/heads/gh-pages","pushedAt":"2024-03-22T22:41:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@c7e928499799198f5ec6327c08fdd949470d064a 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/c7e928499799198f5ec6327c08fdd949470d064a/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/c7e928499799198f5ec6327c08fdd949470d064a\"><tt>c7e9284</tt></a> 🚀"}},{"before":"ec37e2f430b90c8a49672c3437e70cba16199c03","after":"c7e928499799198f5ec6327c08fdd949470d064a","ref":"refs/heads/main","pushedAt":"2024-03-22T22:40:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add way to create numeric variables without parsing\n\nCloses #287.","shortMessageHtmlLink":"Add way to create numeric variables without parsing"}},{"before":"8f16db1c3c5b49376856a81a4992f7746fdb0e7d","after":"54773513ec94f0cc7bad1839d8e8b1bb2766076f","ref":"refs/heads/gh-pages","pushedAt":"2024-03-21T16:47:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@ec37e2f430b90c8a49672c3437e70cba16199c03 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/ec37e2f430b90c8a49672c3437e70cba16199c03/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/ec37e2f430b90c8a49672c3437e70cba16199c03\"><tt>ec37e2f</tt></a> 🚀"}},{"before":"27184406eb984ca746048c9f81f5c40ff844b586","after":"ec37e2f430b90c8a49672c3437e70cba16199c03","ref":"refs/heads/main","pushedAt":"2024-03-21T16:45:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Translate between EGraph types (#306)\n\n* implement map for egraph and eclass\r\n\r\n* add comments about complicated trait bounds\r\n\r\n* first stab at LanguageMapper trait\r\n\r\n* remove old `EGraph::map` function, wrote a `SimpleLanguageMapper` for\r\ncommon cases\r\n\r\n* update + fix documentation","shortMessageHtmlLink":"Translate between EGraph types (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2198081442\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egg/issues/306\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egg/pull/306/hovercard\" href=\"https://github.com/egraphs-good/egg/pull/306\">#306</a>)"}},{"before":"f1161034b8ab4d31d3c1dc48f616fe2dbb4a3cae","after":"8f16db1c3c5b49376856a81a4992f7746fdb0e7d","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T16:53:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@27184406eb984ca746048c9f81f5c40ff844b586 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/27184406eb984ca746048c9f81f5c40ff844b586/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/27184406eb984ca746048c9f81f5c40ff844b586\"><tt>2718440</tt></a> 🚀"}},{"before":"38be469fe11f94124f98fd25046cfc31278b3594","after":"27184406eb984ca746048c9f81f5c40ff844b586","ref":"refs/heads/main","pushedAt":"2024-02-13T16:49:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Update readme","shortMessageHtmlLink":"Update readme"}},{"before":"56310ee45c344c0f94b667306f09a1c7a72a8bdb","after":"f1161034b8ab4d31d3c1dc48f616fe2dbb4a3cae","ref":"refs/heads/gh-pages","pushedAt":"2024-02-09T22:03:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@38be469fe11f94124f98fd25046cfc31278b3594 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/38be469fe11f94124f98fd25046cfc31278b3594/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/38be469fe11f94124f98fd25046cfc31278b3594\"><tt>38be469</tt></a> 🚀"}},{"before":"812c76c8614325625abde051c1dbbf3d80ce6f60","after":"38be469fe11f94124f98fd25046cfc31278b3594","ref":"refs/heads/main","pushedAt":"2024-02-09T21:59:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Add note in is_not_zero example.\n\nCloses #297","shortMessageHtmlLink":"Add note in is_not_zero example."}},{"before":"c610a8cf90940d23547048805dc9e459624ef939","after":"56310ee45c344c0f94b667306f09a1c7a72a8bdb","ref":"refs/heads/gh-pages","pushedAt":"2023-12-24T23:48:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@812c76c8614325625abde051c1dbbf3d80ce6f60 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/812c76c8614325625abde051c1dbbf3d80ce6f60/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/812c76c8614325625abde051c1dbbf3d80ce6f60\"><tt>812c76c</tt></a> 🚀"}},{"before":"034f12e00de63ef344750977a65c9029eb2812b9","after":"812c76c8614325625abde051c1dbbf3d80ce6f60","ref":"refs/heads/main","pushedAt":"2023-12-24T23:46:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"Make explain_id_equivalence public (#289)","shortMessageHtmlLink":"Make explain_id_equivalence public (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2054578098\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egg/issues/289\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egg/pull/289/hovercard\" href=\"https://github.com/egraphs-good/egg/pull/289\">#289</a>)"}},{"before":"829bb3fca9e11836f42a748a4bec7734cda9a36f","after":"c610a8cf90940d23547048805dc9e459624ef939","ref":"refs/heads/gh-pages","pushedAt":"2023-11-28T18:02:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@034f12e00de63ef344750977a65c9029eb2812b9 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/034f12e00de63ef344750977a65c9029eb2812b9/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/034f12e00de63ef344750977a65c9029eb2812b9\"><tt>034f12e</tt></a> 🚀"}},{"before":"a84c3c4fa93347a569e594dc9ebbeebdbf12af0d","after":"034f12e00de63ef344750977a65c9029eb2812b9","ref":"refs/heads/main","pushedAt":"2023-11-28T17:58:27.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"oflatt","name":"Oliver Flatt","path":"/oflatt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8523445?s=80&v=4"},"commit":{"message":"Merge pull request #283 from dewert99/non-canonical\n\nAdd public functions for working with uncanonicalized Ids","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2011272724\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egg/issues/283\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egg/pull/283/hovercard\" href=\"https://github.com/egraphs-good/egg/pull/283\">#283</a> from dewert99/non-canonical"}},{"before":"28f7f2866095b95176e4a094e4590f1ebd5a10de","after":"829bb3fca9e11836f42a748a4bec7734cda9a36f","ref":"refs/heads/gh-pages","pushedAt":"2023-11-28T17:56:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@a84c3c4fa93347a569e594dc9ebbeebdbf12af0d 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/a84c3c4fa93347a569e594dc9ebbeebdbf12af0d/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/a84c3c4fa93347a569e594dc9ebbeebdbf12af0d\"><tt>a84c3c4</tt></a> 🚀"}},{"before":"9043f3b0907178bb9b2e9f7e73fca420f1e64bdb","after":"a84c3c4fa93347a569e594dc9ebbeebdbf12af0d","ref":"refs/heads/main","pushedAt":"2023-11-28T17:51:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mwillsey","name":"Max Willsey","path":"/mwillsey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1783756?s=80&v=4"},"commit":{"message":"allow per-language discriminants (#270)\n\n* allow per-language discriminants\r\n\r\n* add comments","shortMessageHtmlLink":"allow per-language discriminants (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1901863663\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/egg/issues/270\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/egg/pull/270/hovercard\" href=\"https://github.com/egraphs-good/egg/pull/270\">#270</a>)"}},{"before":"7c34511aac27ddd47a6852041f80456f6c6c8567","after":"28f7f2866095b95176e4a094e4590f1ebd5a10de","ref":"refs/heads/gh-pages","pushedAt":"2023-10-28T00:38:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploying to gh-pages from @ egraphs-good/egg@9043f3b0907178bb9b2e9f7e73fca420f1e64bdb 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/egraphs-good/egg/commit/9043f3b0907178bb9b2e9f7e73fca420f1e64bdb/hovercard\" href=\"https://github.com/egraphs-good/egg/commit/9043f3b0907178bb9b2e9f7e73fca420f1e64bdb\"><tt>9043f3b</tt></a> 🚀"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWIBtGgA","startCursor":null,"endCursor":null}},"title":"Activity · egraphs-good/egg"}