{"push_id":1131579027,"size":3,"distinct_size":3,"ref":"refs/heads/develop","head":"8c260b8201ca5547396161e81327b32d0190e825","before":"2ffe4b4986ea1be87ec2b676e1fba33e63411d64","commits":[{"sha":"2ae3b9e452b0b56ee14711d4d2b3e2c1ae7ca50e","author":{"name":"Adrien Champion","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"Fixed huge bug in Model, can now retrieve path of active modes","distinct":true,"url":"https://api.github.com/repos/kind2-mc/kind2/commits/2ae3b9e452b0b56ee14711d4d2b3e2c1ae7ca50e"},{"sha":"d1e92a611e7d05908ed0c1c8bf17b33ddf2e490d","author":{"name":"Adrien Champion","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"show active modes in counterexample trace","distinct":true,"url":"https://api.github.com/repos/kind2-mc/kind2/commits/d1e92a611e7d05908ed0c1c8bf17b33ddf2e490d"},{"sha":"8c260b8201ca5547396161e81327b32d0190e825","author":{"name":"Adrien Champion","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"Merge pull request #383 from AdrienChampion/mode_info_in_cex\n\nMode info in cex","distinct":true,"url":"https://api.github.com/repos/kind2-mc/kind2/commits/8c260b8201ca5547396161e81327b32d0190e825"}]}
{"actor":{"display_login":"AdrienChampion"}}