{"push_id":804918995,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"958314dc531c5824b3c50d3cc53fc255ce7946bb","before":"091495b8d110f9988ac19466fa532f95147072c5","commits":[{"sha":"958314dc531c5824b3c50d3cc53fc255ce7946bb","author":{"email":"7453d0be45d45222cce603adc9466b28d9d0ed5e@gmail.com","name":"agasvina"},"message":"Add actions to CTL, \nFixed the model transitions","distinct":true,"url":"https://api.github.com/repos/saberAlex/SimpleModelChecker/commits/958314dc531c5824b3c50d3cc53fc255ce7946bb"}]}