{"push_id":2322631354,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"96e85a5e56500dd4f754d310a82eb1f6c90b9886","before":"017c6d0d3b4df8aba30f1778527c4c3235e7959f","commits":[{"sha":"96e85a5e56500dd4f754d310a82eb1f6c90b9886","author":{"name":"Mario Uhrik / Majo / xuhrik / muhrik","email":"6107b4950ce12e3f57189bb522779e2bc2be7025@mail.muni.cz"},"message":"Fixed several bugs related to computing steady-state rewards for ACTMCs. Steady-state rewards for ACTMCs are now almost ready, but not quite yet. I also added model queue_D|M|1|n_rewards.pm for reward analysis testing purposes.","distinct":true,"url":"https://api.github.com/repos/muhrik/prism-gsmp/commits/96e85a5e56500dd4f754d310a82eb1f6c90b9886"}]}
{"actor":{"display_login":"muhrik"}}