{"push_id":815684931,"size":1,"distinct_size":1,"ref":"refs/heads/newgrammar","head":"14247e717bcca36e3c4a0bf8bd1d3cdfe2cf1eb5","before":"366f8eeb184b666895fb99a6eaf2517ecaa3cad7","commits":[{"sha":"14247e717bcca36e3c4a0bf8bd1d3cdfe2cf1eb5","author":{"email":"9863dcb16834c3d48ff86fcb3a1baf16b07052ca@TUDelft.nl","name":"Wouter1"},"message":"#2513 added test for proper randomization of the actions with RANDOM\nmodule.","distinct":true,"url":"https://api.github.com/repos/goalhub/runtime/commits/14247e717bcca36e3c4a0bf8bd1d3cdfe2cf1eb5"}]}