{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":93332614,"defaultBranch":"master","name":"reduction-effects","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-06-04T18:15:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1695889613.0","currentOid":""},"activityList":{"items":[{"before":"bf46dda5fbf135b6bc3cba8d757ceaf3b9e0103d","after":"f0570f498bc8a0d25e878115b4066b140908c4b4","ref":"refs/heads/master","pushedAt":"2023-09-28T16:41:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update meta.yml","shortMessageHtmlLink":"Update meta.yml"}},{"before":"d710abcfd225e633c874924645661818446bcdf3","after":"bf46dda5fbf135b6bc3cba8d757ceaf3b9e0103d","ref":"refs/heads/master","pushedAt":"2023-09-27T11:09:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Test 8.18 on CI","shortMessageHtmlLink":"Test 8.18 on CI"}},{"before":"604528fa0e8472cd1d1264782ffcbfecb8571b48","after":"d710abcfd225e633c874924645661818446bcdf3","ref":"refs/heads/master","pushedAt":"2023-08-14T21:38:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"[CI] Add workflow_dispatch for manual CI running","shortMessageHtmlLink":"[CI] Add workflow_dispatch for manual CI running"}},{"before":"fc926669571e8315013eb0775e27f9653798b7f0","after":"604528fa0e8472cd1d1264782ffcbfecb8571b48","ref":"refs/heads/master","pushedAt":"2023-05-30T08:59:36.851Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ppedrot","name":"Pierre-Marie Pédrot","path":"/ppedrot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1202327?s=80&v=4"},"commit":{"message":"Backwards compatibility","shortMessageHtmlLink":"Backwards compatibility"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADiy2UeQA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/reduction-effects"}