{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":265516023,"defaultBranch":"master","name":"verify-c-common","ownerLogin":"seahorn","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-05-20T09:30:24.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11098044?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1671479451.874308","currentOid":""},"activityList":{"items":[{"before":"4867ac3bda6cee8899aa5412e1f611ebd894dfb0","after":"f561a743c20302759d6419173956880e2e92b1f8","ref":"refs/heads/master","pushedAt":"2024-05-30T14:53:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"priyasiddharth","name":"Siddharth Priya","path":"/priyasiddharth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4746323?s=80&v=4"},"commit":{"message":"fix:typo in readme","shortMessageHtmlLink":"fix:typo in readme"}},{"before":"fc0da17113d6db06e494c425b31e62f6e74e9174","after":"4867ac3bda6cee8899aa5412e1f611ebd894dfb0","ref":"refs/heads/master","pushedAt":"2023-05-27T01:30:16.336Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"fix: updated LLVM version in README\n\nSet main version of LLVM to 14\nNoted that KLEE uses LLVM 11, SMACK uses 12, Symbiotic uses 10","shortMessageHtmlLink":"fix: updated LLVM version in README"}},{"before":"c114f88418619b760f5a73b5564d1233c372a00f","after":"fc0da17113d6db06e494c425b31e62f6e74e9174","ref":"refs/heads/master","pushedAt":"2023-05-12T20:45:29.921Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"build(cmake): add cmake presets file","shortMessageHtmlLink":"build(cmake): add cmake presets file"}},{"before":"61334374bc6ab35904fa864c5cc81f9d3fc6e96e","after":"c114f88418619b760f5a73b5564d1233c372a00f","ref":"refs/heads/master","pushedAt":"2023-05-03T18:59:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"chore(jobs): use explicit_sp0 for speed","shortMessageHtmlLink":"chore(jobs): use explicit_sp0 for speed"}},{"before":"72ac14d889b75ed0b97edfe9eec4f97267d86175","after":"61334374bc6ab35904fa864c5cc81f9d3fc6e96e","ref":"refs/heads/master","pushedAt":"2023-05-03T18:51:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"chore(jobs): use explicit sp0 for speed","shortMessageHtmlLink":"chore(jobs): use explicit sp0 for speed"}},{"before":"85e8ca2418c938e0de8545ec7deb31919b9fa933","after":"72ac14d889b75ed0b97edfe9eec4f97267d86175","ref":"refs/heads/master","pushedAt":"2023-04-26T14:28:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"fix: resolve new default option conflict","shortMessageHtmlLink":"fix: resolve new default option conflict"}},{"before":"09473ec02df9b6d9a1882675f71273b3d670fc8b","after":"85e8ca2418c938e0de8545ec7deb31919b9fa933","ref":"refs/heads/master","pushedAt":"2023-04-25T16:37:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"chore: turn smtfd for hash_c_string","shortMessageHtmlLink":"chore: turn smtfd for hash_c_string"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0zMFQxNDo1MzoxNy4wMDAwMDBazwAAAARYIuO0","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0yNVQxNjozNzozMC4wMDAwMDBazwAAAAMgA6W_"}},"title":"Activity · seahorn/verify-c-common"}