{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":457427421,"defaultBranch":"master","name":"catapult","ownerLogin":"imandra-ai","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-02-09T15:58:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6567427?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1701793726.0","currentOid":""},"activityList":{"items":[{"before":"f08be355fee62caf26baccb4daf9e93623632746","after":"922f718cf88f472949c62bb4314e0146a8054a8d","ref":"refs/heads/wip-use-proper-tls","pushedAt":"2024-01-08T19:05:12.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":"wip: use thread-local-storage","shortMessageHtmlLink":"wip: use thread-local-storage"}},{"before":null,"after":"f08be355fee62caf26baccb4daf9e93623632746","ref":"refs/heads/wip-use-proper-tls","pushedAt":"2023-12-05T16:28:46.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":"wip","shortMessageHtmlLink":"wip"}},{"before":"4153be54a541349467e6a8126fccffd2a8c5a6c1","after":null,"ref":"refs/heads/remove-trace-lib","pushedAt":"2023-12-05T16:18:37.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":"4153be54a541349467e6a8126fccffd2a8c5a6c1","ref":"refs/heads/remove-trace-lib","pushedAt":"2023-10-04T17:35:39.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 dune","shortMessageHtmlLink":"fix dune"}},{"before":"b3209275b018c7e929730e74f7442c695844c111","after":"fca15fc69eabefd6650ad625fbe0b5ddf0aa3a92","ref":"refs/heads/master","pushedAt":"2023-09-21T14:20:08.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":"move thread_local to core; adapt to trace 0.4","shortMessageHtmlLink":"move thread_local to core; adapt to trace 0.4"}},{"before":"d8e6b83987b7a9457b3276edc5b2393099fbdad2","after":"b3209275b018c7e929730e74f7442c695844c111","ref":"refs/heads/master","pushedAt":"2023-09-14T14:38:52.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":"readme","shortMessageHtmlLink":"readme"}},{"before":"e532bd9d2d14e0102f7ef86e152385d0d81db0b7","after":"c766592a42e8810b3762073d845bbd4fcc50d986","ref":"refs/heads/gh-pages","pushedAt":"2023-09-14T03:43: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":"deploy: d8e6b83987b7a9457b3276edc5b2393099fbdad2","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/imandra-ai/catapult/commit/d8e6b83987b7a9457b3276edc5b2393099fbdad2/hovercard\" href=\"https://github.com/imandra-ai/catapult/commit/d8e6b83987b7a9457b3276edc5b2393099fbdad2\"><tt>d8e6b83</tt></a>"}},{"before":"b420c6e88b4532f67e1f2e7195f43567d05512ea","after":"d8e6b83987b7a9457b3276edc5b2393099fbdad2","ref":"refs/heads/master","pushedAt":"2023-09-14T03:37:45.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":"CI","shortMessageHtmlLink":"CI"}},{"before":"0787f5e7243ac7539a4efbcae28b0bbe99f152a8","after":"b420c6e88b4532f67e1f2e7195f43567d05512ea","ref":"refs/heads/master","pushedAt":"2023-09-14T03:31:34.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":"41084847575547906256618a0e978293d49e64e8","after":null,"ref":"refs/heads/wip-trace","pushedAt":"2023-09-14T02:43:00.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":"13b820434c5f6053421164e8b0fc288c14afa6b3","after":"0787f5e7243ac7539a4efbcae28b0bbe99f152a8","ref":"refs/heads/master","pushedAt":"2023-09-14T02:42:19.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"update readme","shortMessageHtmlLink":"update readme"}},{"before":"a6a63b32ea6f474150311ea2bfeac11b8177b55a","after":"41084847575547906256618a0e978293d49e64e8","ref":"refs/heads/wip-trace","pushedAt":"2023-09-13T02:55:27.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":"update readme","shortMessageHtmlLink":"update readme"}},{"before":"852d908b63722f5c3f56a34a6bf7580abad9b2ee","after":"a6a63b32ea6f474150311ea2bfeac11b8177b55a","ref":"refs/heads/wip-trace","pushedAt":"2023-09-13T02:36:15.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"migrate sqlite, client, and daemon to `Trace_core`","shortMessageHtmlLink":"migrate sqlite, client, and daemon to <code>Trace_core</code>"}},{"before":"b34252430147b0654fa4b534f69ca725d1ba8a4f","after":"e532bd9d2d14e0102f7ef86e152385d0d81db0b7","ref":"refs/heads/gh-pages","pushedAt":"2023-09-05T03:42:46.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: 13b820434c5f6053421164e8b0fc288c14afa6b3","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/imandra-ai/catapult/commit/13b820434c5f6053421164e8b0fc288c14afa6b3/hovercard\" href=\"https://github.com/imandra-ai/catapult/commit/13b820434c5f6053421164e8b0fc288c14afa6b3\"><tt>13b8204</tt></a>"}},{"before":null,"after":"852d908b63722f5c3f56a34a6bf7580abad9b2ee","ref":"refs/heads/wip-trace","pushedAt":"2023-09-05T03:34:02.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":"wip: adapt to trace","shortMessageHtmlLink":"wip: adapt to trace"}},{"before":"d295f7edf66f4e5bb4859cccc06e7ab49a9bc8ae","after":"13b820434c5f6053421164e8b0fc288c14afa6b3","ref":"refs/heads/master","pushedAt":"2023-09-05T03:33: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":"remove catapult-file","shortMessageHtmlLink":"remove catapult-file"}},{"before":"38b068c685d11d6c146721711934073fe5b0d577","after":"d295f7edf66f4e5bb4859cccc06e7ab49a9bc8ae","ref":"refs/heads/master","pushedAt":"2023-06-09T21:03:01.175Z","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: update repo name in opam","shortMessageHtmlLink":"chore: update repo name in opam"}},{"before":"5a85c54697edc093e4e3800a7fdf7ae008c389d9","after":"b34252430147b0654fa4b534f69ca725d1ba8a4f","ref":"refs/heads/gh-pages","pushedAt":"2023-06-01T15:14:15.544Z","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: 38b068c685d11d6c146721711934073fe5b0d577","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/imandra-ai/catapult/commit/38b068c685d11d6c146721711934073fe5b0d577/hovercard\" href=\"https://github.com/imandra-ai/catapult/commit/38b068c685d11d6c146721711934073fe5b0d577\"><tt>38b068c</tt></a>"}},{"before":"7b48a14b090825c0c03b2af9c309127237e23dee","after":"38b068c685d11d6c146721711934073fe5b0d577","ref":"refs/heads/master","pushedAt":"2023-06-01T15:04:59.853Z","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":"refactor: move bare_encoding/ser to catapult.utils\n\nthis way, the instrumentation library `catapult` gets smaller. Only\nwhere the client is used do we pay the cost for the additional code.","shortMessageHtmlLink":"refactor: move bare_encoding/ser to catapult.utils"}},{"before":"7dba9234a0bb8bd8d8c52a6665304db633c5d7d1","after":"7b48a14b090825c0c03b2af9c309127237e23dee","ref":"refs/heads/master","pushedAt":"2023-05-15T19:41:36.374Z","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":"small tweak","shortMessageHtmlLink":"small tweak"}},{"before":"6c1863984320e3b706fc669bb44b0fc5f8dfb8f2","after":"7dba9234a0bb8bd8d8c52a6665304db633c5d7d1","ref":"refs/heads/master","pushedAt":"2023-03-16T15:06:37.334Z","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 dune 2.7","shortMessageHtmlLink":"require dune 2.7"}},{"before":"1b6fc4075908ad257963c2efce1fa416661ff6b5","after":"5a85c54697edc093e4e3800a7fdf7ae008c389d9","ref":"refs/heads/gh-pages","pushedAt":"2023-03-15T21:05:22.343Z","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: 6c1863984320e3b706fc669bb44b0fc5f8dfb8f2","shortMessageHtmlLink":"deploy: <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/imandra-ai/catapult/commit/6c1863984320e3b706fc669bb44b0fc5f8dfb8f2/hovercard\" href=\"https://github.com/imandra-ai/catapult/commit/6c1863984320e3b706fc669bb44b0fc5f8dfb8f2\"><tt>6c18639</tt></a>"}},{"before":"55399e7a4f5f3ac38aadbc242b690656cf19b7b7","after":"6c1863984320e3b706fc669bb44b0fc5f8dfb8f2","ref":"refs/heads/master","pushedAt":"2023-03-15T20:57:36.864Z","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 -l option to catapult-conv","shortMessageHtmlLink":"add -l option to catapult-conv"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD2pqyIgA","startCursor":null,"endCursor":null}},"title":"Activity · imandra-ai/catapult"}