{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":622042476,"defaultBranch":"main","name":"benchmark-submission","ownerLogin":"Heizmann","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-04-01T00:49:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1221834?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1680310169.0920022","currentOid":""},"activityList":{"items":[{"before":"6846340b14d34eabca2277139b12edc3a2fd5136","after":"6e93d87b205c8d8c8927b4683759e7e7d386a3d8","ref":"refs/heads/main","pushedAt":"2023-08-07T11:28:13.000Z","pushType":"push","commitsCount":51,"pusher":{"login":"Heizmann","name":"Matthias Heizmann","path":"/Heizmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221834?s=80&v=4"},"commit":{"message":"Small edits on denghang files\n\n- Remove trailing , from 'Generator'\n- Remove , from 'Generated by'\n- Format 'Generated on'\n- Add newline at end of file","shortMessageHtmlLink":"Small edits on denghang files"}},{"before":"3b53df312e89be2c2102e8a25de83ac47dad4524","after":"6846340b14d34eabca2277139b12edc3a2fd5136","ref":"refs/heads/main","pushedAt":"2023-04-07T16:13:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hansjoergschurr","name":"Hans-Jörg","path":"/hansjoergschurr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9850776?s=80&v=4"},"commit":{"message":"Add standard metadata headers","shortMessageHtmlLink":"Add standard metadata headers"}},{"before":"2fc044a8da5d771bf06555d06bdbc56971f8a8b1","after":"3b53df312e89be2c2102e8a25de83ac47dad4524","ref":"refs/heads/main","pushedAt":"2023-04-03T19:54:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Heizmann","name":"Matthias Heizmann","path":"/Heizmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221834?s=80&v=4"},"commit":{"message":"Remove duplicated benchmarks via fdupes -dN */*","shortMessageHtmlLink":"Remove duplicated benchmarks via fdupes -dN */*"}},{"before":"aa1eb0972d3eb80d58f5eda4da8955f0fe273c0d","after":"2fc044a8da5d771bf06555d06bdbc56971f8a8b1","ref":"refs/heads/main","pushedAt":"2023-04-01T03:35:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Heizmann","name":"Matthias Heizmann","path":"/Heizmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221834?s=80&v=4"},"commit":{"message":"Fix files with real divison","shortMessageHtmlLink":"Fix files with real divison"}},{"before":"ab536d8676f9ddcc68264c766dca21cb48a561d0","after":"aa1eb0972d3eb80d58f5eda4da8955f0fe273c0d","ref":"refs/heads/main","pushedAt":"2023-04-01T03:30:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Heizmann","name":"Matthias Heizmann","path":"/Heizmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221834?s=80&v=4"},"commit":{"message":"Fix files with real divison","shortMessageHtmlLink":"Fix files with real divison"}},{"before":"dea6ad0096f57a46dd508cba087a4eb50e8611f2","after":"ab536d8676f9ddcc68264c766dca21cb48a561d0","ref":"refs/heads/main","pushedAt":"2023-04-01T03:10:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Heizmann","name":"Matthias Heizmann","path":"/Heizmann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1221834?s=80&v=4"},"commit":{"message":"Add 20230321-UltimateAutomizerSvcomp2023 benchmarks","shortMessageHtmlLink":"Add 20230321-UltimateAutomizerSvcomp2023 benchmarks"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0wN1QxMToyODoxMy4wMDAwMDBazwAAAANlaeGg","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0wN1QxMToyODoxMy4wMDAwMDBazwAAAANlaeGg","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0wMVQwMzoxMDoxNy4wMDAwMDBazwAAAAMP6Bms"}},"title":"Activity · Heizmann/benchmark-submission"}