{"push_id":545499614,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f03324ca8afed8c93b016927b543d1bb7a7be271","before":"248f8e20e780918009942344fb1aa187aa64db7e","commits":[{"sha":"f03324ca8afed8c93b016927b543d1bb7a7be271","author":{"email":"d817672d0008a9fffbf1e0590e5df7f17ec51887@314.ch","name":"Philipp Hausmann"},"message":"Add support for UHC backend","distinct":true,"url":"https://api.github.com/repos/phile314/agda-compiler-tests/commits/f03324ca8afed8c93b016927b543d1bb7a7be271"}]}