{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":559266859,"defaultBranch":"main","name":"cbmc-proof-debugger","ownerLogin":"model-checking","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-29T15:25:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/78765001?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1668776222.586603","currentOid":""},"activityList":{"items":[{"before":"b537719429833e51a66d6d0ce599c2950cc92e03","after":"da407bfc2d9c27b71c0e985d47f5b7259bf96b9b","ref":"refs/heads/gh-pages","pushedAt":"2023-03-23T21:24:45.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 @ model-checking/cbmc-proof-debugger@e7569c287616c09754d4507bb5d151304dd42f31 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/cbmc-proof-debugger/commit/e7569c287616c09754d4507bb5d151304dd42f31/hovercard\" href=\"https://github.com/model-checking/cbmc-proof-debugger/commit/e7569c287616c09754d4507bb5d151304dd42f31\"><tt>e7569c2</tt></a> 🚀"}},{"before":"daaf1b6c0622f15ed19047ea4a625130774437a7","after":"e7569c287616c09754d4507bb5d151304dd42f31","ref":"refs/heads/main","pushedAt":"2023-03-23T21:24:01.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"markrtuttle","name":"Mark Tuttle","path":"/markrtuttle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10468566?s=80&v=4"},"commit":{"message":"Merge pull request #4 from jaisnan/Update-release-with-kani\n\nUpdate token.yaml with Kani","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1634596980\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/cbmc-proof-debugger/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/cbmc-proof-debugger/pull/4/hovercard\" href=\"https://github.com/model-checking/cbmc-proof-debugger/pull/4\">#4</a> from jaisnan/Update-release-with-kani"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0yM1QyMToyNDo0NS4wMDAwMDBazwAAAAMKEGY3","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0yM1QyMToyNDo0NS4wMDAwMDBazwAAAAMKEGY3","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0yM1QyMToyNDowMS4wMDAwMDBazwAAAAMKEExi"}},"title":"Activity · model-checking/cbmc-proof-debugger"}