{"push_id":2714151867,"size":1,"distinct_size":1,"ref":"refs/heads/allow-sat-bounds-in-unsat","head":"35c5eac93cf91b2c6a32d849b4de86ee03cab391","before":"55365d4c66f10e66e64c9a967d5bba7f7cd8ac9b","commits":[{"sha":"35c5eac93cf91b2c6a32d849b4de86ee03cab391","author":{"name":"Jason Gross","email":"29bbaec13092d36559e3abc6f27f7d09c395819f@mit.edu"},"message":"Allow saturated bounds on unsat solinas","distinct":true,"url":"https://api.github.com/repos/JasonGross/fiat-crypto/commits/35c5eac93cf91b2c6a32d849b4de86ee03cab391"}]}
{"actor":{"display_login":"JasonGross"}}