{"push_id":564952296,"size":2,"distinct_size":2,"ref":"refs/heads/pvj/tracecg","head":"5bc6bc7a4cd3ae931f0b315b1fa2a9a69b0deb04","before":"d7bf83961587d8d7862c2150f389a6ef6716704f","commits":[{"sha":"c7fd1f8a2db0670f1816dd0d986329bb5f96518d","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","name":"Peter Joergensen"},"message":"Added trace tests with consecutive \"let defs\"","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/c7fd1f8a2db0670f1816dd0d986329bb5f96518d"},{"sha":"5bc6bc7a4cd3ae931f0b315b1fa2a9a69b0deb04","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@iha.dk","name":"Peter Joergensen"},"message":"Added trace test with combined use of concurrent and \"let be st\" trace nodes","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/5bc6bc7a4cd3ae931f0b315b1fa2a9a69b0deb04"}]}