{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":216652056,"defaultBranch":"emsoft23-artifact","name":"velus","ownerLogin":"INRIA","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-10-21T19:45:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2951919?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1694867669.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"f2a941fd02403da05ed5bed136a340bb73c6b025","ref":"refs/heads/emsoft23-artifact","pushedAt":"2023-09-16T12:34:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tbrk","name":"Timothy Bourke","path":"/tbrk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5730960?s=80&v=4"},"commit":{"message":"Fixed a bug reported by Lelio on Parsing of list of expressions","shortMessageHtmlLink":"Fixed a bug reported by Lelio on Parsing of list of expressions"}},{"before":"e91d746d1d3e32933d50d42c45b0cde2bd1913df","after":"b73989818479a98694a0dd365e08206f47c305a5","ref":"refs/heads/emsoft21-artifact-fixes","pushedAt":"2023-06-22T19:59:14.482Z","pushType":"push","commitsCount":1,"pusher":{"login":"tbrk","name":"Timothy Bourke","path":"/tbrk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5730960?s=80&v=4"},"commit":{"message":"fix configure: grep for ARCH also returned ARCHIVER","shortMessageHtmlLink":"fix configure: grep for ARCH also returned ARCHIVER"}},{"before":"e91d746d1d3e32933d50d42c45b0cde2bd1913df","after":null,"ref":"refs/heads/lelio-fixes","pushedAt":"2023-06-13T09:04:48.366Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Lelio-Brun","name":"Lélio Brun","path":"/Lelio-Brun","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20226144?s=80&v=4"}},{"before":null,"after":"e91d746d1d3e32933d50d42c45b0cde2bd1913df","ref":"refs/heads/emsoft21-artifact-fixes","pushedAt":"2023-06-13T09:04:47.910Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Lelio-Brun","name":"Lélio Brun","path":"/Lelio-Brun","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20226144?s=80&v=4"},"commit":{"message":"Fix a bug where temporaries used to store return values of single-output calls were not uniquely named, causing an internal error in CompCert","shortMessageHtmlLink":"Fix a bug where temporaries used to store return values of single-out…"}},{"before":null,"after":"e91d746d1d3e32933d50d42c45b0cde2bd1913df","ref":"refs/heads/lelio-fixes","pushedAt":"2023-06-13T07:26:00.960Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Lelio-Brun","name":"Lélio Brun","path":"/Lelio-Brun","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20226144?s=80&v=4"},"commit":{"message":"Fix a bug where temporaries used to store return values of single-output calls were not uniquely named, causing an internal error in CompCert","shortMessageHtmlLink":"Fix a bug where temporaries used to store return values of single-out…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADggZxtwA","startCursor":null,"endCursor":null}},"title":"Activity · INRIA/velus"}