{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":584310058,"defaultBranch":"develop","name":"cbmc","ownerLogin":"Research-Tools-PAVT","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-01-02T07:32:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/115274479?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1702377367.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"d10b511a9beb309f414d311c8c5aab72ff898e2f","ref":"refs/heads/gh-pages","pushedAt":"2023-12-12T10:36:07.000Z","pushType":"branch_creation","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 @ Research-Tools-PAVT/cbmc@64fe4d0c39022bad0941a032a63d020a3c37757f 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/Research-Tools-PAVT/cbmc/commit/64fe4d0c39022bad0941a032a63d020a3c37757f/hovercard\" href=\"https://github.com/Research-Tools-PAVT/cbmc/commit/64fe4d0c39022bad0941a032a63d020a3c37757f\"><tt>64fe4d0</tt></a> 🚀"}},{"before":"019952ea6e7114ae4f3d501ec8616d319362e61f","after":"64fe4d0c39022bad0941a032a63d020a3c37757f","ref":"refs/heads/develop","pushedAt":"2023-12-12T10:33:11.000Z","pushType":"push","commitsCount":1195,"pusher":{"login":"lahiri-phdworks","name":"Sumit Lahiri","path":"/lahiri-phdworks","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65644005?s=80&v=4"},"commit":{"message":"Merge pull request #8094 from tautschnig/bugfixes/dfcc-allocated-memory\n\nDynamic frames: don't instrument __CPROVER_allocated_memory","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2026253808\" data-permission-text=\"Title is private\" data-url=\"https://github.com/diffblue/cbmc/issues/8094\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/diffblue/cbmc/pull/8094/hovercard\" href=\"https://github.com/diffblue/cbmc/pull/8094\">diffblue#8094</a> from tautschnig/bugfixes/dfcc-alloca…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0xMlQxMDozNjowNy4wMDAwMDBazwAAAAPIPdUr","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0xMlQxMDozNjowNy4wMDAwMDBazwAAAAPIPdUr","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0xMlQxMDozMzoxMS4wMDAwMDBazwAAAAPIPSeu"}},"title":"Activity · Research-Tools-PAVT/cbmc"}