{"push_id":1427131036,"size":6,"distinct_size":6,"ref":"refs/heads/next","head":"1f0427e0c8a297f5e012feb38e835fc2fa22f438","before":"5fda3d6417f23d16aaab811e774c44675518b6fe","commits":[{"sha":"27a27e3ca634fb7f575796a85382fcbb888043e5","author":{"name":"Stephen Sherratt","email":"f9f02a922200b519b9cb8993142afa51dc63cd0b@data61.csiro.au"},"message":"Renamed _get_badge to _get_sender_id in test","distinct":true,"url":"https://api.github.com/repos/seL4/camkes/commits/27a27e3ca634fb7f575796a85382fcbb888043e5"},{"sha":"ec0b0391d66365183496742a46f4b351dea22536","author":{"name":"Stephen Sherratt","email":"f9f02a922200b519b9cb8993142afa51dc63cd0b@data61.csiro.au"},"message":"Add binary-semaphore example application","distinct":true,"url":"https://api.github.com/repos/seL4/camkes/commits/ec0b0391d66365183496742a46f4b351dea22536"},{"sha":"6d67b8bb469ff5ccf1ebb0aacbb3aba948c9f683","author":{"name":"Stephen Sherratt","email":"f9f02a922200b519b9cb8993142afa51dc63cd0b@data61.csiro.au"},"message":"Added example and test for non volatile dataports","distinct":true,"url":"https://api.github.com/repos/seL4/camkes/commits/6d67b8bb469ff5ccf1ebb0aacbb3aba948c9f683"},{"sha":"d50d60d4325bd19395322bb0475ae590f3c1dd24","author":{"name":"Stephen Sherratt","email":"f9f02a922200b519b9cb8993142afa51dc63cd0b@data61.csiro.au"},"message":"Using new attributes for dataport access perms","distinct":true,"url":"https://api.github.com/repos/seL4/camkes/commits/d50d60d4325bd19395322bb0475ae590f3c1dd24"},{"sha":"b48619991f8076caa257aab6e8f8ac5c5908ebe2","author":{"name":"Stephen Sherratt","email":"f9f02a922200b519b9cb8993142afa51dc63cd0b@data61.csiro.au"},"message":"Correct arm toolchain for binary sem app","distinct":true,"url":"https://api.github.com/repos/seL4/camkes/commits/b48619991f8076caa257aab6e8f8ac5c5908ebe2"},{"sha":"1f0427e0c8a297f5e012feb38e835fc2fa22f438","author":{"name":"Stephen Sherratt","email":"f9f02a922200b519b9cb8993142afa51dc63cd0b@data61.csiro.au"},"message":"Add -cpu Haswell to x86 qemu test script","distinct":true,"url":"https://api.github.com/repos/seL4/camkes/commits/1f0427e0c8a297f5e012feb38e835fc2fa22f438"}]}
{"actor":{"display_login":"ssrg-bamboo"}}