{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":36732035,"defaultBranch":"master","name":"prism-benchmarks","ownerLogin":"prismmodelchecker","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-06-02T12:38:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12241098?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1433248808.0","currentOid":""},"activityList":{"items":[{"before":"48ef6d6d3937ef7ef9db6942a791b490764a2e3f","after":"dd51586ce10f760976f9dc6dd45f4075989fbc37","ref":"refs/heads/master","pushedAt":"2024-09-24T14:55:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"davexparker","name":"Dave Parker","path":"/davexparker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6075003?s=80&v=4"},"commit":{"message":"Typo: hermans -> herman.","shortMessageHtmlLink":"Typo: hermans -> herman."}},{"before":"ef719a7ce49d5158e393c9934771c4e484d5e9cb","after":"48ef6d6d3937ef7ef9db6942a791b490764a2e3f","ref":"refs/heads/master","pushedAt":"2024-07-22T19:24:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"davexparker","name":"Dave Parker","path":"/davexparker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6075003?s=80&v=4"},"commit":{"message":"Renamed Erlangen model to match benchmark name.","shortMessageHtmlLink":"Renamed Erlangen model to match benchmark name."}},{"before":"3e86e68c9cded734aea6d68d797b34ec0c66847c","after":"ef719a7ce49d5158e393c9934771c4e484d5e9cb","ref":"refs/heads/master","pushedAt":"2024-07-22T19:21:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"davexparker","name":"Dave Parker","path":"/davexparker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6075003?s=80&v=4"},"commit":{"message":"Erlangen properties to lists.","shortMessageHtmlLink":"Erlangen properties to lists."}},{"before":"c85f5b9a3b2dc0e41470ad4e073ba419f530e81c","after":"3e86e68c9cded734aea6d68d797b34ec0c66847c","ref":"refs/heads/master","pushedAt":"2024-07-22T18:58:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"davexparker","name":"Dave Parker","path":"/davexparker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6075003?s=80&v=4"},"commit":{"message":"Add Erlangen mainframe benchmark.","shortMessageHtmlLink":"Add Erlangen mainframe benchmark."}},{"before":"edd702ec9d349d414923e7a11bea9e479a1cb5a8","after":"c85f5b9a3b2dc0e41470ad4e073ba419f530e81c","ref":"refs/heads/master","pushedAt":"2024-04-22T18:37:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"davexparker","name":"Dave Parker","path":"/davexparker","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6075003?s=80&v=4"},"commit":{"message":"Reference typo.","shortMessageHtmlLink":"Reference typo."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQxNDo1NToxMy4wMDAwMDBazwAAAAS_S4vv","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0yMlQxODozNzo1Ni4wMDAwMDBazwAAAAQ3VAn5"}},"title":"Activity · prismmodelchecker/prism-benchmarks"}