{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":39392321,"defaultBranch":"master","name":"theta","ownerLogin":"ftsrg","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-07-20T15:34:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6715687?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1724951049.0","currentOid":""},"activityList":{"items":[{"before":"e4adab506e0968abb391f3cc37cfb330ebc1eaf0","after":"a49a7c8770f182a309c498849cf0d8b9bc7aba5b","ref":"refs/heads/trace-generation","pushedAt":"2024-09-23T13:57:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdamZsofi","name":"Zsófia Ádám","path":"/AdamZsofi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9825744?s=80&v=4"},"commit":{"message":"basic trace summary and visualization added","shortMessageHtmlLink":"basic trace summary and visualization added"}},{"before":"388a9ccad0b226793a425499ea693b7d16ff6718","after":"e4adab506e0968abb391f3cc37cfb330ebc1eaf0","ref":"refs/heads/trace-generation","pushedAt":"2024-09-23T11:00:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdamZsofi","name":"Zsófia Ádám","path":"/AdamZsofi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9825744?s=80&v=4"},"commit":{"message":"refactor trace metadata to trace summary","shortMessageHtmlLink":"refactor trace metadata to trace summary"}},{"before":"9b8c51e6e7d29a0860ad336613b3111029a3c008","after":"388a9ccad0b226793a425499ea693b7d16ff6718","ref":"refs/heads/trace-generation","pushedAt":"2024-09-21T20:16:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdamZsofi","name":"Zsófia Ádám","path":"/AdamZsofi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9825744?s=80&v=4"},"commit":{"message":"changing return value of trace generation","shortMessageHtmlLink":"changing return value of trace generation"}},{"before":"37089d3fe6333dce88d1a7d5483524165355fc41","after":"9b8c51e6e7d29a0860ad336613b3111029a3c008","ref":"refs/heads/trace-generation","pushedAt":"2024-09-20T18:36:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdamZsofi","name":"Zsófia Ádám","path":"/AdamZsofi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9825744?s=80&v=4"},"commit":{"message":"added basic trace metadata collection; tracegen refactored to clikt","shortMessageHtmlLink":"added basic trace metadata collection; tracegen refactored to clikt"}},{"before":"41f68094f0f2d699aa6d1a1189cb2fd346c5486d","after":"37089d3fe6333dce88d1a7d5483524165355fc41","ref":"refs/heads/trace-generation","pushedAt":"2024-09-19T07:21:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdamZsofi","name":"Zsófia Ádám","path":"/AdamZsofi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9825744?s=80&v=4"},"commit":{"message":"added v0 trace metadata, wip refactor tracegen checker","shortMessageHtmlLink":"added v0 trace metadata, wip refactor tracegen checker"}},{"before":"67286f190b1ec826264974077f19b1d3fba9bb0e","after":"41f68094f0f2d699aa6d1a1189cb2fd346c5486d","ref":"refs/heads/trace-generation","pushedAt":"2024-09-11T11:31:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AdamZsofi","name":"Zsófia Ádám","path":"/AdamZsofi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9825744?s=80&v=4"},"commit":{"message":"cleaning up before trace metadata","shortMessageHtmlLink":"cleaning up before trace metadata"}},{"before":"ea783164b4b23f97b51cfe4ce8a64d04bef7b5a2","after":"0efb0090dc9c7155a8fe556e2f2c7d99b066228b","ref":"refs/heads/gh-pages","pushedAt":"2024-08-29T17:29:35.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":"Deploying to gh-pages from @ ftsrg/theta@5d65f7bc809821475ecd6f9936de394dd7d6d560 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/5d65f7bc809821475ecd6f9936de394dd7d6d560/hovercard\" href=\"https://github.com/ftsrg/theta/commit/5d65f7bc809821475ecd6f9936de394dd7d6d560\"><tt>5d65f7b</tt></a> 🚀"}},{"before":"125783a16bd27d942c1d06c57ecd2a592bf83125","after":"adc036ad7127c718f4139bdaea4c71a0c63e1b90","ref":"refs/heads/badges","pushedAt":"2024-08-29T16:46:56.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":"Deploying to badges from @ ftsrg/theta@cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4 🚀","shortMessageHtmlLink":"Deploying to badges from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4/hovercard\" href=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4\"><tt>cb77d7e</tt></a> 🚀"}},{"before":"3653ce28dca01e72cbb7e5174244177cbbc02c9e","after":"125783a16bd27d942c1d06c57ecd2a592bf83125","ref":"refs/heads/badges","pushedAt":"2024-08-29T16:44:55.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":"Deploying to badges from @ ftsrg/theta@cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4 🚀","shortMessageHtmlLink":"Deploying to badges from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4/hovercard\" href=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4\"><tt>cb77d7e</tt></a> 🚀"}},{"before":"ebe71846b9761c1e979d06b33fa6570dea0655ca","after":"3653ce28dca01e72cbb7e5174244177cbbc02c9e","ref":"refs/heads/badges","pushedAt":"2024-08-29T16:44: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":"Deploying to badges from @ ftsrg/theta@cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4 🚀","shortMessageHtmlLink":"Deploying to badges from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4/hovercard\" href=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4\"><tt>cb77d7e</tt></a> 🚀"}},{"before":"7e5e47c19c8b2c5ae3b83a04e59fc082769168e4","after":"ea783164b4b23f97b51cfe4ce8a64d04bef7b5a2","ref":"refs/heads/gh-pages","pushedAt":"2024-08-29T16:42:11.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":"Deploying to gh-pages from @ ftsrg/theta@cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4/hovercard\" href=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4\"><tt>cb77d7e</tt></a> 🚀"}},{"before":"02039a9a684b39bd1fe7d9c35979048045fc4dba","after":"7e5e47c19c8b2c5ae3b83a04e59fc082769168e4","ref":"refs/heads/gh-pages","pushedAt":"2024-08-29T16:40:19.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":"Deploying to gh-pages from @ ftsrg/theta@cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4/hovercard\" href=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4\"><tt>cb77d7e</tt></a> 🚀"}},{"before":"9012bcbeaddf5d337a15cde905428a3dca78dbe4","after":"ebe71846b9761c1e979d06b33fa6570dea0655ca","ref":"refs/heads/badges","pushedAt":"2024-08-29T16:37:14.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":"Deploying to badges from @ ftsrg/theta@cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4 🚀","shortMessageHtmlLink":"Deploying to badges from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4/hovercard\" href=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4\"><tt>cb77d7e</tt></a> 🚀"}},{"before":"7700ef84825c1a496b3e95a359bcccd764ddedb6","after":"9012bcbeaddf5d337a15cde905428a3dca78dbe4","ref":"refs/heads/badges","pushedAt":"2024-08-29T16:35: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":"Deploying to badges from @ ftsrg/theta@cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4 🚀","shortMessageHtmlLink":"Deploying to badges from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4/hovercard\" href=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4\"><tt>cb77d7e</tt></a> 🚀"}},{"before":"81bf1991e4cbda9189f4d2b0357d1efcec4f7ccf","after":"7700ef84825c1a496b3e95a359bcccd764ddedb6","ref":"refs/heads/badges","pushedAt":"2024-08-29T16:35: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":"Deploying to badges from @ ftsrg/theta@cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4 🚀","shortMessageHtmlLink":"Deploying to badges from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4/hovercard\" href=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4\"><tt>cb77d7e</tt></a> 🚀"}},{"before":"e9a55a29b574c0c09848a103ba5d1083acee42de","after":"02039a9a684b39bd1fe7d9c35979048045fc4dba","ref":"refs/heads/gh-pages","pushedAt":"2024-08-29T16:29:08.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":"Deploying to gh-pages from @ ftsrg/theta@cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4/hovercard\" href=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4\"><tt>cb77d7e</tt></a> 🚀"}},{"before":"6d8227de5b0d338f03b55bec7c880aa10699d2f6","after":"e9a55a29b574c0c09848a103ba5d1083acee42de","ref":"refs/heads/gh-pages","pushedAt":"2024-08-29T16:28:35.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":"Deploying to gh-pages from @ ftsrg/theta@cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4/hovercard\" href=\"https://github.com/ftsrg/theta/commit/cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4\"><tt>cb77d7e</tt></a> 🚀"}},{"before":"87e30af82cabc9f320ba46b276290e6eb2f61678","after":null,"ref":"refs/heads/add-svcomp-flag","pushedAt":"2024-08-29T16:27:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"}},{"before":"289781e6371cda64697b188b3d4cd6ab3fe486c5","after":"cb77d7e6bb0e51ea00d2a1dc483fdf510dd8e8b4","ref":"refs/heads/master","pushedAt":"2024-08-29T16:27:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"Merge pull request #296 from ftsrg/add-svcomp-flag\n\nadded new flag --only-svcomp-witness","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2495015821\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ftsrg/theta/issues/296\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ftsrg/theta/pull/296/hovercard\" href=\"https://github.com/ftsrg/theta/pull/296\">#296</a> from ftsrg/add-svcomp-flag"}},{"before":null,"after":"87e30af82cabc9f320ba46b276290e6eb2f61678","ref":"refs/heads/add-svcomp-flag","pushedAt":"2024-08-29T14:28:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"leventeBajczi","name":"Bajczi Levente","path":"/leventeBajczi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12221540?s=80&v=4"},"commit":{"message":"added new flag --only-svcomp-witness","shortMessageHtmlLink":"added new flag --only-svcomp-witness"}},{"before":"e7537c6dfcef2fb59cab6a860e63492d8ea4f42c","after":"67286f190b1ec826264974077f19b1d3fba9bb0e","ref":"refs/heads/trace-generation","pushedAt":"2024-08-19T11:01:48.000Z","pushType":"push","commitsCount":443,"pusher":{"login":"AdamZsofi","name":"Zsófia Ádám","path":"/AdamZsofi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9825744?s=80&v=4"},"commit":{"message":"merge master into tracegen","shortMessageHtmlLink":"merge master into tracegen"}},{"before":"08963dde66cc50f8de5bf3e0b179efb181c64c40","after":"ea0d2b2697c628fea166702f03bcbe1a815836e4","ref":"refs/heads/mdd-dev","pushedAt":"2024-08-15T14:38:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mondokm","name":"Mondok Milán","path":"/mondokm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16652864?s=80&v=4"},"commit":{"message":"Change Preconditions check to assertion","shortMessageHtmlLink":"Change Preconditions check to assertion"}},{"before":"07353ccead7a8c3ffdc75c52fb57914310731eed","after":"08963dde66cc50f8de5bf3e0b179efb181c64c40","ref":"refs/heads/mdd-dev","pushedAt":"2024-08-15T13:22:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mondokm","name":"Mondok Milán","path":"/mondokm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16652864?s=80&v=4"},"commit":{"message":"Rename temp vars to local","shortMessageHtmlLink":"Rename temp vars to local"}},{"before":"fbc035d7991ba4243c854e3922f88354846b3d8a","after":"07353ccead7a8c3ffdc75c52fb57914310731eed","ref":"refs/heads/mdd-dev","pushedAt":"2024-08-15T13:12:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mondokm","name":"Mondok Milán","path":"/mondokm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16652864?s=80&v=4"},"commit":{"message":"Reformat files","shortMessageHtmlLink":"Reformat files"}},{"before":"c80a1823a011b24939ab15c064520b74b6a0ec2e","after":"fbc035d7991ba4243c854e3922f88354846b3d8a","ref":"refs/heads/mdd-dev","pushedAt":"2024-08-15T12:42:38.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"mondokm","name":"Mondok Milán","path":"/mondokm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16652864?s=80&v=4"},"commit":{"message":"Don't include tmp vars","shortMessageHtmlLink":"Don't include tmp vars"}},{"before":"a8ae489205a47cf3f4038242bdb0671b0e0b4f7f","after":"81bf1991e4cbda9189f4d2b0357d1efcec4f7ccf","ref":"refs/heads/badges","pushedAt":"2024-08-13T09:26:29.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":"Deploying to badges from @ ftsrg/theta@289781e6371cda64697b188b3d4cd6ab3fe486c5 🚀","shortMessageHtmlLink":"Deploying to badges from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/289781e6371cda64697b188b3d4cd6ab3fe486c5/hovercard\" href=\"https://github.com/ftsrg/theta/commit/289781e6371cda64697b188b3d4cd6ab3fe486c5\"><tt>289781e</tt></a> 🚀"}},{"before":"615c7aa8c2956545d297be755864ad39ea4f6fff","after":"a8ae489205a47cf3f4038242bdb0671b0e0b4f7f","ref":"refs/heads/badges","pushedAt":"2024-08-13T09:25:26.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":"Deploying to badges from @ ftsrg/theta@289781e6371cda64697b188b3d4cd6ab3fe486c5 🚀","shortMessageHtmlLink":"Deploying to badges from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/289781e6371cda64697b188b3d4cd6ab3fe486c5/hovercard\" href=\"https://github.com/ftsrg/theta/commit/289781e6371cda64697b188b3d4cd6ab3fe486c5\"><tt>289781e</tt></a> 🚀"}},{"before":"fb731fe9e60a77bbebf8cf8e06d6d85ef8f1bf72","after":"615c7aa8c2956545d297be755864ad39ea4f6fff","ref":"refs/heads/badges","pushedAt":"2024-08-13T09:23:57.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":"Deploying to badges from @ ftsrg/theta@289781e6371cda64697b188b3d4cd6ab3fe486c5 🚀","shortMessageHtmlLink":"Deploying to badges from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/289781e6371cda64697b188b3d4cd6ab3fe486c5/hovercard\" href=\"https://github.com/ftsrg/theta/commit/289781e6371cda64697b188b3d4cd6ab3fe486c5\"><tt>289781e</tt></a> 🚀"}},{"before":"d3d008ca37351cfa25a9e754827843be78cb160f","after":"6d8227de5b0d338f03b55bec7c880aa10699d2f6","ref":"refs/heads/gh-pages","pushedAt":"2024-08-13T09:22:02.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":"Deploying to gh-pages from @ ftsrg/theta@289781e6371cda64697b188b3d4cd6ab3fe486c5 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/289781e6371cda64697b188b3d4cd6ab3fe486c5/hovercard\" href=\"https://github.com/ftsrg/theta/commit/289781e6371cda64697b188b3d4cd6ab3fe486c5\"><tt>289781e</tt></a> 🚀"}},{"before":"ce12bcea5510d38bba67c329745151486be874ba","after":"d3d008ca37351cfa25a9e754827843be78cb160f","ref":"refs/heads/gh-pages","pushedAt":"2024-08-13T09:20:32.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":"Deploying to gh-pages from @ ftsrg/theta@289781e6371cda64697b188b3d4cd6ab3fe486c5 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/ftsrg/theta/commit/289781e6371cda64697b188b3d4cd6ab3fe486c5/hovercard\" href=\"https://github.com/ftsrg/theta/commit/289781e6371cda64697b188b3d4cd6ab3fe486c5\"><tt>289781e</tt></a> 🚀"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yM1QxMzo1NzoyMy4wMDAwMDBazwAAAAS-CtkR","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yM1QxMzo1NzoyMy4wMDAwMDBazwAAAAS-CtkR","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xM1QwOToyMDozMi4wMDAwMDBazwAAAASY_BIw"}},"title":"Activity · ftsrg/theta"}