{"push_id":2966131930,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d4e4f8244eb46256f6a7937bb2154133749619cc","before":"c9c5ef0145d0e4b31851c7b098fe353785c4418e","commits":[{"sha":"d4e4f8244eb46256f6a7937bb2154133749619cc","author":{"name":"Kent McLeod","email":"c66d6dc32fd339ab2bef374fb82316641a2e1363@data61.csiro.au"},"message":"runner: Move pickle dump to correct location\n\nDepending on the application being built, it was possible to not save\nthe objects file if no misc templates needed to be built","distinct":true,"url":"https://api.github.com/repos/seL4/camkes-tool/commits/d4e4f8244eb46256f6a7937bb2154133749619cc"}]}
{"actor":{"display_login":"ssrg-bamboo"}}