{"push_id":874732821,"size":1,"distinct_size":1,"ref":"refs/heads/fixes3","head":"c37dab9652cd8ea0973ee526cb81e59ba76b10d5","before":"a1fb33a4efac8b373a774e713556948810edc504","commits":[{"sha":"c37dab9652cd8ea0973ee526cb81e59ba76b10d5","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix tests","distinct":true,"url":"https://api.github.com/repos/dwightguth/c-semantics/commits/c37dab9652cd8ea0973ee526cb81e59ba76b10d5"}]}