payload: {"push_id":3668127357,"size":5,"distinct_size":5,"ref":"refs/heads/existential-step","head":"5a5117c82d55e5dcdce8ec0edb8699c840548217","before":"ebb0e565a713a933b2c4cff1382bbdf01c047a29","commits":[{"sha":"6dc826b209a620e0583f016f7459eaac556dc1f1","author":{"name":"Virgil Serbanuta","email":"aea487cff1cfa91e789935422350dae40507e04d"},"message":"Regression tests for new variables.","distinct":true,"url":"https://api.github.com/repos/virgil-serbanuta/kore/commits/6dc826b209a620e0583f016f7459eaac556dc1f1"},{"sha":"13b46698895db0b93e700e377a4fd6ef1780938f","author":{"name":"Virgil Serbanuta","email":"aea487cff1cfa91e789935422350dae40507e04d"},"message":"Tests for new variable quantification","distinct":true,"url":"https://api.github.com/repos/virgil-serbanuta/kore/commits/13b46698895db0b93e700e377a4fd6ef1780938f"},{"sha":"b3fd9e7451fa0273b36ea043918f3be305304e1e","author":{"name":"Virgil Serbanuta","email":"aea487cff1cfa91e789935422350dae40507e04d"},"message":"Existentially quantify new step variables","distinct":true,"url":"https://api.github.com/repos/virgil-serbanuta/kore/commits/b3fd9e7451fa0273b36ea043918f3be305304e1e"},{"sha":"67c43aefbfe60a68bec91c7075b8ee0c52936b87","author":{"name":"Virgil Serbanuta","email":"aea487cff1cfa91e789935422350dae40507e04d"},"message":"Tests for removing existential quantifiers at the top.","distinct":true,"url":"https://api.github.com/repos/virgil-serbanuta/kore/commits/67c43aefbfe60a68bec91c7075b8ee0c52936b87"},{"sha":"5a5117c82d55e5dcdce8ec0edb8699c840548217","author":{"name":"Virgil Serbanuta","email":"aea487cff1cfa91e789935422350dae40507e04d"},"message":"Simplify top existential quantifiers","distinct":true,"url":"https://api.github.com/repos/virgil-serbanuta/kore/commits/5a5117c82d55e5dcdce8ec0edb8699c840548217"}]}
other: {"actor":{"display_login":"virgil-serbanuta"}}