{"push_id":688623010,"size":2,"distinct_size":2,"ref":"refs/heads/stages-parallelization","head":"37153260da13b4f893e4b821a65d0f221ddd5285","before":"a5432362ab6c26650b60d2af0fd9558ab82303a4","commits":[{"sha":"32cc31ad27cb3bbce4c50cbcc10b56a38d537759","author":{"email":"b72a79d8f3a68d31e3820120f9614c465f51642d@jhu.edu","name":"Yanif Ahmad"},"message":"Fix for echoing opam config in the k3-base dockerfile","distinct":true,"url":"https://api.github.com/repos/DaMSL/K3/commits/32cc31ad27cb3bbce4c50cbcc10b56a38d537759"},{"sha":"37153260da13b4f893e4b821a65d0f221ddd5285","author":{"email":"b72a79d8f3a68d31e3820120f9614c465f51642d@jhu.edu","name":"Yanif Ahmad"},"message":"Turning on duplicate UID detection during whole-program compilation for mosaic debugging","distinct":true,"url":"https://api.github.com/repos/DaMSL/K3/commits/37153260da13b4f893e4b821a65d0f221ddd5285"}]}