{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":118384563,"defaultBranch":"main","name":"sidekick","ownerLogin":"c-cube","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-01-21T23:52:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1274291?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1703715892.0","currentOid":""},"activityList":{"items":[{"before":"79ca29a20c44d996b3bf3e96d5d40bd95eebdf54","after":"8e6036bf3ff51f8f908dde30021325ea1371dccd","ref":"refs/heads/main","pushedAt":"2023-12-28T00:45:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"chore: CI","shortMessageHtmlLink":"chore: CI"}},{"before":"13440d60f6a74cee84d02a1eb807bb93b24d6471","after":"79ca29a20c44d996b3bf3e96d5d40bd95eebdf54","ref":"refs/heads/main","pushedAt":"2023-12-28T00:38:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"chore: CI","shortMessageHtmlLink":"chore: CI"}},{"before":"eff6016151861dd79596191195e497d97a335127","after":"13440d60f6a74cee84d02a1eb807bb93b24d6471","ref":"refs/heads/main","pushedAt":"2023-12-28T00:31:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"chore: CI","shortMessageHtmlLink":"chore: CI"}},{"before":"aeb7ff8b4f29ac5fa5138ff8648763d582643ed9","after":"2c7065e7fd3f746e2ccb70a09b81101cf100fcea","ref":"refs/heads/gh-pages","pushedAt":"2023-12-27T22:31:52.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":"deploy: eff6016151861dd79596191195e497d97a335127","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/sidekick/commit/eff6016151861dd79596191195e497d97a335127/hovercard\" href=\"https://github.com/c-cube/sidekick/commit/eff6016151861dd79596191195e497d97a335127\"><tt>eff6016</tt></a>"}},{"before":"54077446ca773f6503fd0f1388a91746c5f9edab","after":"eff6016151861dd79596191195e497d97a335127","ref":"refs/heads/main","pushedAt":"2023-12-27T22:25:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"support trace-fuchsia if present","shortMessageHtmlLink":"support trace-fuchsia if present"}},{"before":null,"after":"eff6016151861dd79596191195e497d97a335127","ref":"refs/heads/master","pushedAt":"2023-12-27T22:24:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"support trace-fuchsia if present","shortMessageHtmlLink":"support trace-fuchsia if present"}},{"before":"54077446ca773f6503fd0f1388a91746c5f9edab","after":null,"ref":"refs/heads/master","pushedAt":"2023-12-27T22:24:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"}},{"before":null,"after":"54077446ca773f6503fd0f1388a91746c5f9edab","ref":"refs/heads/main","pushedAt":"2023-12-27T22:24:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"require ocaml 4.08, compat with containers 3.13","shortMessageHtmlLink":"require ocaml 4.08, compat with containers 3.13"}},{"before":"85c39d364229721791994ba5686c752176515868","after":"54077446ca773f6503fd0f1388a91746c5f9edab","ref":"refs/heads/master","pushedAt":"2023-12-07T05:14:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"require ocaml 4.08, compat with containers 3.13","shortMessageHtmlLink":"require ocaml 4.08, compat with containers 3.13"}},{"before":"a3e9ecf974d7c8d356b05e6a7a84e1fdb255346a","after":"aeb7ff8b4f29ac5fa5138ff8648763d582643ed9","ref":"refs/heads/gh-pages","pushedAt":"2023-12-07T05:10:29.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":"deploy: 85c39d364229721791994ba5686c752176515868","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/sidekick/commit/85c39d364229721791994ba5686c752176515868/hovercard\" href=\"https://github.com/c-cube/sidekick/commit/85c39d364229721791994ba5686c752176515868\"><tt>85c39d3</tt></a>"}},{"before":"43c8e60790140834f80cd247c35940bea475aa8c","after":"85c39d364229721791994ba5686c752176515868","ref":"refs/heads/master","pushedAt":"2023-12-07T05:03:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"faster CI","shortMessageHtmlLink":"faster CI"}},{"before":"088fe6e281dc58574b42dc19bd76b6d7671dfdaf","after":"a3e9ecf974d7c8d356b05e6a7a84e1fdb255346a","ref":"refs/heads/gh-pages","pushedAt":"2023-10-07T02:14:10.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":"deploy: 43c8e60790140834f80cd247c35940bea475aa8c","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/sidekick/commit/43c8e60790140834f80cd247c35940bea475aa8c/hovercard\" href=\"https://github.com/c-cube/sidekick/commit/43c8e60790140834f80cd247c35940bea475aa8c\"><tt>43c8e60</tt></a>"}},{"before":"c35d721c6d88ff4f5c0eeafe04c1638ec2c75f3d","after":"43c8e60790140834f80cd247c35940bea475aa8c","ref":"refs/heads/master","pushedAt":"2023-10-07T02:04:59.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"use `trace` instead of our own custom tracing setup","shortMessageHtmlLink":"use <code>trace</code> instead of our own custom tracing setup"}},{"before":"7937a38416e8b9d9fa4ec88ebe6d9d03cd724b9b","after":null,"ref":"refs/heads/bug-lra-minimized","pushedAt":"2023-07-06T01:53:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"}},{"before":"3ebc5324864693eea1c3e6bf77f2ac5ecd2f3bcb","after":"c35d721c6d88ff4f5c0eeafe04c1638ec2c75f3d","ref":"refs/heads/master","pushedAt":"2023-06-28T15:42:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"fix: compute model even if (potentially) new interface eqns are produced\n\nclose #19","shortMessageHtmlLink":"fix: compute model even if (potentially) new interface eqns are produced"}},{"before":"8fbf482dd7340b626960afb952765879473d78e0","after":"da5cd7fbc2f00c9dcc2afd7b72443286735e95dd","ref":"refs/heads/wip-19","pushedAt":"2023-06-27T14:59:41.032Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"fix: compute model even if (potentially) new interface eqns are produced\n\nclose #19","shortMessageHtmlLink":"fix: compute model even if (potentially) new interface eqns are produced"}},{"before":"66a155a155698a2153d9310c14f1ff73806622de","after":"088fe6e281dc58574b42dc19bd76b6d7671dfdaf","ref":"refs/heads/gh-pages","pushedAt":"2023-06-26T19:47:10.845Z","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":"deploy: 3ebc5324864693eea1c3e6bf77f2ac5ecd2f3bcb","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/sidekick/commit/3ebc5324864693eea1c3e6bf77f2ac5ecd2f3bcb/hovercard\" href=\"https://github.com/c-cube/sidekick/commit/3ebc5324864693eea1c3e6bf77f2ac5ecd2f3bcb\"><tt>3ebc532</tt></a>"}},{"before":"619da6fbcbf917f1ab5ec6fde1a75c9b6b71bcfd","after":"3ebc5324864693eea1c3e6bf77f2ac5ecd2f3bcb","ref":"refs/heads/master","pushedAt":"2023-06-26T19:40:38.304Z","pushType":"pr_merge","commitsCount":12,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"more tests","shortMessageHtmlLink":"more tests"}},{"before":"0841e0e7670901e866070194f6be8f4aba427c33","after":"7937a38416e8b9d9fa4ec88ebe6d9d03cd724b9b","ref":"refs/heads/bug-lra-minimized","pushedAt":"2023-06-26T04:44:58.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"more tests","shortMessageHtmlLink":"more tests"}},{"before":"3b78fdda8771c969e2b84cce4c9f8d64c63716d5","after":"0841e0e7670901e866070194f6be8f4aba427c33","ref":"refs/heads/bug-lra-minimized","pushedAt":"2023-06-25T19:39:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"add another bug repro","shortMessageHtmlLink":"add another bug repro"}},{"before":"1d1fc88f1c3d3d3f88fbc1708fcae4288adf05a2","after":"3b78fdda8771c969e2b84cce4c9f8d64c63716d5","ref":"refs/heads/bug-lra-minimized","pushedAt":"2023-06-24T01:45:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"CI","shortMessageHtmlLink":"CI"}},{"before":"27937b664af2d30259aa6b2e3ae58ebf9e7a2641","after":"1d1fc88f1c3d3d3f88fbc1708fcae4288adf05a2","ref":"refs/heads/bug-lra-minimized","pushedAt":"2023-06-24T01:40:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"doc","shortMessageHtmlLink":"doc"}},{"before":"97dab9ef8c9e365e31a33c88b7772dad09a68b11","after":"66a155a155698a2153d9310c14f1ff73806622de","ref":"refs/heads/gh-pages","pushedAt":"2023-06-24T01:36: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":"deploy: 619da6fbcbf917f1ab5ec6fde1a75c9b6b71bcfd","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/c-cube/sidekick/commit/619da6fbcbf917f1ab5ec6fde1a75c9b6b71bcfd/hovercard\" href=\"https://github.com/c-cube/sidekick/commit/619da6fbcbf917f1ab5ec6fde1a75c9b6b71bcfd\"><tt>619da6f</tt></a>"}},{"before":"a767ca16030d6ca958ba737eeee0dff5ad8537af","after":"27937b664af2d30259aa6b2e3ae58ebf9e7a2641","ref":"refs/heads/bug-lra-minimized","pushedAt":"2023-06-24T01:30:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"fix benchpress config","shortMessageHtmlLink":"fix benchpress config"}},{"before":"40a743badb70f29ca47007eb4e394afdf1ff006d","after":"619da6fbcbf917f1ab5ec6fde1a75c9b6b71bcfd","ref":"refs/heads/master","pushedAt":"2023-06-24T01:30:19.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"fix warnings","shortMessageHtmlLink":"fix warnings"}},{"before":"7af381176e7c3c7c0cb0f4ca6935b8ae58e7a23f","after":"a767ca16030d6ca958ba737eeee0dff5ad8537af","ref":"refs/heads/bug-lra-minimized","pushedAt":"2023-06-24T01:24:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"fix lra: define expressions occurring in subterms properly\n\nthese sub-expressions need to be registered in the Simplex, possibly\nusing an intermediate variable in case there's an offset.","shortMessageHtmlLink":"fix lra: define expressions occurring in subterms properly"}},{"before":"4f3576c5c1700acdcde23baf273932f51aa457c2","after":"7af381176e7c3c7c0cb0f4ca6935b8ae58e7a23f","ref":"refs/heads/bug-lra-minimized","pushedAt":"2023-06-23T21:20:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"add non reduced test too","shortMessageHtmlLink":"add non reduced test too"}},{"before":null,"after":"4f3576c5c1700acdcde23baf273932f51aa457c2","ref":"refs/heads/bug-lra-minimized","pushedAt":"2023-06-23T19:56:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"test: add regression test for LRA bug","shortMessageHtmlLink":"test: add regression test for LRA bug"}},{"before":null,"after":"8fbf482dd7340b626960afb952765879473d78e0","ref":"refs/heads/wip-19","pushedAt":"2023-06-23T14:44:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"fix: compute model even if (potentially) new interface eqns are produced\n\nclose #19","shortMessageHtmlLink":"fix: compute model even if (potentially) new interface eqns are produced"}},{"before":null,"after":"0393fae090323fd901aebf68a8e1c24ede8a8c4a","ref":"refs/heads/wip-ccsat","pushedAt":"2023-05-10T00:42:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"cdsat","shortMessageHtmlLink":"cdsat"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0yOFQwMDo0NTo1OS4wMDAwMDBazwAAAAPTGRcb","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0yOFQwMDo0NTo1OS4wMDAwMDBazwAAAAPTGRcb","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNS0xMFQwMDo0MjozMS4wMDAwMDBazwAAAAMpfIPh"}},"title":"Activity · c-cube/sidekick"}