{"push_id":869817892,"size":1,"distinct_size":1,"ref":"refs/heads/kleinj-add-missing-ltl-fair-models","head":"70ccc66f71c9768ab5482758273493b303e0ec36","before":"6d46f56d0bc242d1dfa366b3328371ec3143ba14","commits":[{"sha":"70ccc66f71c9768ab5482758273493b303e0ec36","author":{"email":"3c31fdb58fb2d779f569bfc6c7bbfd370fa6b0d8@gmail.com","name":"Dave Parker"},"message":"Merge pull request #2 from kleinj/kleinj-add-missing-ltl-fair-models\n\nAdd missing model files for LTL fairness tests.","distinct":true,"url":"https://api.github.com/repos/kleinj/prism-tests/commits/70ccc66f71c9768ab5482758273493b303e0ec36"}]}