{"push_id":1130857559,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"5166516735d24a6ce8d37aed6b42dd426b0e7891","before":"aca8ad3de56f334178cd177a7030a6ecb5d18005","commits":[{"sha":"5166516735d24a6ce8d37aed6b42dd426b0e7891","author":{"email":"ac8424697f569c3783754695993bc84d5d7ff20f@informatik.uni-freiburg.de","name":"schillic"},"message":"more efficient automaton construction from partition","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/5166516735d24a6ce8d37aed6b42dd426b0e7891"}]}
{"actor":{"display_login":"schillic"}}