{"push_id":2390900910,"size":1,"distinct_size":1,"ref":"refs/heads/c_tactics-dev_sl","head":"dc8d3421b6247009d6eea92bfb1c76a02558e876","before":"77d0e57e72ef9f30649a3261b0534814645f6840","commits":[{"sha":"dc8d3421b6247009d6eea92bfb1c76a02558e876","author":{"name":"Danel Ahman","email":"3ff57ee5d44042e62eb6388ba26c5e84cb70a67f@eesti.ee"},"message":"***NO_CI*** Working on the heap-memory style","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/dc8d3421b6247009d6eea92bfb1c76a02558e876"}]}
{"actor":{"display_login":"danelahman"}}