{"push_id":815421571,"size":1,"distinct_size":1,"ref":"refs/heads/newgrammar","head":"7503d66cd3211b1b2e09dea9a33e71d668836dc0","before":"f09b2c7a238f586ad409ab134561d2df6d2e89ac","commits":[{"sha":"7503d66cd3211b1b2e09dea9a33e71d668836dc0","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#2513 added no-solutions rule to cover code dealing with this case.","distinct":true,"url":"https://api.github.com/repos/goalhub/runtime/commits/7503d66cd3211b1b2e09dea9a33e71d668836dc0"}]}