{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":588238925,"defaultBranch":"master","name":"AdaSAT","ownerLogin":"AdaCore","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-01-12T16:50:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7767877?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718746706.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"f20d814a4b26508d0dd6ee48a92bc560b122dad5","ref":"refs/heads/24.2","pushedAt":"2024-06-18T21:38:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch 'topic/24.1' into '24.1'\n\nFix memory leak in test.\n\nSee merge request eng/libadalang/adasat!20","shortMessageHtmlLink":"Merge branch 'topic/24.1' into '24.1'"}},{"before":"64a3da513651922fc479ac384fcd0ab3348417e4","after":"01e9a19b61ba785878862b8bce5ae8145018ef01","ref":"refs/heads/master","pushedAt":"2024-01-03T17:00:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch 'topic/free_clause' into 'master'\n\nExpose procedure for deallocating a Clause.\n\nSee merge request eng/libadalang/adasat!21","shortMessageHtmlLink":"Merge branch 'topic/free_clause' into 'master'"}},{"before":null,"after":"3ed4895b3aac1d61f41e2e22ce221723ad534316","ref":"refs/heads/24.0","pushedAt":"2023-12-18T14:00:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch 'pmderodat/ci' into 'master'\n\nCI: add MR issue checker\n\nSee merge request eng/libadalang/adasat!14","shortMessageHtmlLink":"Merge branch 'pmderodat/ci' into 'master'"}},{"before":"f948e2271aec51f9313fa41ff3c00230a483f9e8","after":"64a3da513651922fc479ac384fcd0ab3348417e4","ref":"refs/heads/master","pushedAt":"2023-12-18T14:00:10.000Z","pushType":"push","commitsCount":18,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch 'topic/leak_test' into 'master'\n\nFix memory leak in test.\n\nSee merge request eng/libadalang/adasat!19","shortMessageHtmlLink":"Merge branch 'topic/leak_test' into 'master'"}},{"before":null,"after":"f20d814a4b26508d0dd6ee48a92bc560b122dad5","ref":"refs/heads/24.1","pushedAt":"2023-12-18T14:00:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch 'topic/24.1' into '24.1'\n\nFix memory leak in test.\n\nSee merge request eng/libadalang/adasat!20","shortMessageHtmlLink":"Merge branch 'topic/24.1' into '24.1'"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEaOvcEAA","startCursor":null,"endCursor":null}},"title":"Activity · AdaCore/AdaSAT"}