{"push_id":1024043017,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fde6d47a358bb60b875a20489854c3ee5859e8fd","before":"5d8ff24890b5b79add820945bef50ee2cf79dab0","commits":[{"sha":"fde6d47a358bb60b875a20489854c3ee5859e8fd","author":{"email":"845dfb253b44f3c1b7a81c92ce834192f783cf87@imperial.ac.uk","name":"Jeroen Ketema"},"message":"Do not include clang provided CUDA header","distinct":true,"url":"https://api.github.com/repos/mc-imperial/gpuverify/commits/fde6d47a358bb60b875a20489854c3ee5859e8fd"}]}