{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":73179864,"defaultBranch":"main","name":"sv-comp","ownerLogin":"ultimate-pa","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2016-11-08T11:32:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13460489?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1698994824.0","currentOid":""},"activityList":{"items":[{"before":"0fad82bb890d46ff58c98910449deb07f55ed981","after":"e437efbe59fdf47faed4cc55e314f1ff3a6790c7","ref":"refs/heads/main","pushedAt":"2023-11-23T22:00:02.000Z","pushType":"push","commitsCount":59,"pusher":{"login":"danieldietsch","name":"Daniel Dietsch","path":"/danieldietsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3883391?s=80&v=4"},"commit":{"message":"Merge branch 'clarify-main-invocation' into 'main'\n\nRules: Clarify main in specification\n\nSee merge request sosy-lab/sv-comp/bench-defs!409","shortMessageHtmlLink":"Merge branch 'clarify-main-invocation' into 'main'"}},{"before":"f66943fa334b1932eaaa3ef031a65b00c79820b5","after":"0fad82bb890d46ff58c98910449deb07f55ed981","ref":"refs/heads/main","pushedAt":"2023-11-15T11:06:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"danieldietsch","name":"Daniel Dietsch","path":"/danieldietsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3883391?s=80&v=4"},"commit":{"message":"Upgrade submodules","shortMessageHtmlLink":"Upgrade submodules"}},{"before":"70d29161f39d7e76178d7a8bcdd3a5a62c97d1d8","after":"f66943fa334b1932eaaa3ef031a65b00c79820b5","ref":"refs/heads/main","pushedAt":"2023-11-08T20:37:36.000Z","pushType":"push","commitsCount":43,"pusher":{"login":"danieldietsch","name":"Daniel Dietsch","path":"/danieldietsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3883391?s=80&v=4"},"commit":{"message":"Change of competition setup: 4 cores instead of 8 cores","shortMessageHtmlLink":"Change of competition setup: 4 cores instead of 8 cores"}},{"before":"17b19ccb01d79aa8877a51cee64b30a4f882b1f9","after":"70d29161f39d7e76178d7a8bcdd3a5a62c97d1d8","ref":"refs/heads/main","pushedAt":"2023-11-03T07:00:54.000Z","pushType":"push","commitsCount":153,"pusher":{"login":"danieldietsch","name":"Daniel Dietsch","path":"/danieldietsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3883391?s=80&v=4"},"commit":{"message":"Fix 404 URLs of TCS","shortMessageHtmlLink":"Fix 404 URLs of TCS"}},{"before":"70d29161f39d7e76178d7a8bcdd3a5a62c97d1d8","after":null,"ref":"refs/heads/master","pushedAt":"2023-11-03T07:00:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"danieldietsch","name":"Daniel Dietsch","path":"/danieldietsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3883391?s=80&v=4"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0yM1QyMjowMDowMi4wMDAwMDBazwAAAAO2b1yi","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0wM1QwNzowMDoyNC4wMDAwMDBazwAAAAOmfFRg"}},"title":"Activity · ultimate-pa/sv-comp"}