{"push_id":1073559377,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9ed12f39985e054feb979534c2f2ed9e2b284fbb","before":"2dc1c10ce79062218ea746bc8716ad500fe476e8","commits":[{"sha":"9ed12f39985e054feb979534c2f2ed9e2b284fbb","author":{"email":"b0439fde77ce688c8b3ee9cec77203c05463f455@uni-ulm.de","name":"Yevgeny Kazakov"},"message":"Add tracing tests to check if the proofs for conclusions do not change\n\nWe count and compare some basic statistics about proofs, such as\nthe number of conclusions and inferences used in the proofs","distinct":true,"url":"https://api.github.com/repos/liveontologies/elk-reasoner/commits/9ed12f39985e054feb979534c2f2ed9e2b284fbb"}]}