{"push_id":2789865266,"size":3,"distinct_size":3,"ref":"refs/heads/develop","head":"bba5dea7afc68ec5e6d98ca57e5aec651b1ad0db","before":"22b755ad3c9a77ef391b682b3daca35a3536053a","commits":[{"sha":"1f19e236210c2e45ad1349f9977b0e1092e9478a","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"goto-cc: use result of our native compiler detection","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/1f19e236210c2e45ad1349f9977b0e1092e9478a"},{"sha":"c0bcce779563f02dfd6fb05b360550313573ae5f","author":{"name":"Daniel Kroening","email":"22854e9c8e2dd9ec12b10154e021b0968dc399aa@cs.ox.ac.uk"},"message":"use clang as native compiler for goto-clang","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/c0bcce779563f02dfd6fb05b360550313573ae5f"},{"sha":"bba5dea7afc68ec5e6d98ca57e5aec651b1ad0db","author":{"name":"Michael Tautschnig","email":"0658929a32fcad205df089c884250dd482df435b@debian.org"},"message":"Merge pull request #2699 from diffblue/goto-cc-clang\n\ngoto-cc: use result of native compiler detection","distinct":true,"url":"https://api.github.com/repos/diffblue/cbmc/commits/bba5dea7afc68ec5e6d98ca57e5aec651b1ad0db"}]}
{"actor":{"display_login":"tautschnig"}}