{"push_id":1366942540,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"72c8c04a5597f56977ebbe8a962ecaf4e5b43073","before":"87b17d5e6d31182b63c1ea208f512e114f814412","commits":[{"sha":"14f2c111fac9103d261bde4427d56db4069ad7b2","author":{"name":"ssuyi","email":"33a1107fddd94599ca89341014fe0e44763c848f@gmail.com"},"message":"Find Error state which not start with Error:","distinct":true,"url":"https://api.github.com/repos/nclab/autoprover/commits/14f2c111fac9103d261bde4427d56db4069ad7b2"},{"sha":"6f36ad820c52936eebd49f15bdbae658ba5a9c83","author":{"name":"ssuyi","email":"33a1107fddd94599ca89341014fe0e44763c848f@gmail.com"},"message":"Interactive mode","distinct":true,"url":"https://api.github.com/repos/nclab/autoprover/commits/6f36ad820c52936eebd49f15bdbae658ba5a9c83"},{"sha":"72c8c04a5597f56977ebbe8a962ecaf4e5b43073","author":{"name":"ssuyi","email":"33a1107fddd94599ca89341014fe0e44763c848f@gmail.com"},"message":"Fixed incorrect proof sequences.","distinct":true,"url":"https://api.github.com/repos/nclab/autoprover/commits/72c8c04a5597f56977ebbe8a962ecaf4e5b43073"}]}
{"actor":{"display_login":"elic-eon"}}