{"push_id":1215752423,"size":2,"distinct_size":2,"ref":"refs/heads/wip","head":"d50d2e372a385334e4809df2a5435f7d678faa1f","before":"b5588e4100e3bcd2eb15c3d83ffefeb7465a4fad","commits":[{"sha":"3e13436cfd886f6c9f216618e34820cb7a5b1eba","author":{"name":"Simon Cruanes","email":"8e2c23bda4ff0518f8fdd6e7a868479660219833@m4x.org"},"message":"add checks in `if_sat`","distinct":true,"url":"https://api.github.com/repos/c-cube/smbc/commits/3e13436cfd886f6c9f216618e34820cb7a5b1eba"},{"sha":"d50d2e372a385334e4809df2a5435f7d678faa1f","author":{"name":"Simon Cruanes","email":"8e2c23bda4ff0518f8fdd6e7a868479660219833@m4x.org"},"message":"make `Cst_bool` carry some information on whether it's decided","distinct":true,"url":"https://api.github.com/repos/c-cube/smbc/commits/d50d2e372a385334e4809df2a5435f7d678faa1f"}]}
{"actor":{"display_login":"c-cube"}}