{"push_id":2426149840,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ecaf6943adc8f00cb11a43f4038bc065265ca86a","before":"8df1d812f07cc2b877b43c6de294277cf1967d94","commits":[{"sha":"ecaf6943adc8f00cb11a43f4038bc065265ca86a","author":{"name":"Michael Sproul","email":"a03f87c21b04e8c5adba015d8820a9ef8f356994@data61.csiro.au"},"message":"Set the data structure cache consistently\n\nThis commit ensures that the data structure cache is always referred to as\n${BUILD_DIR}/data_structure_cache, which resolves an issue whereby the cache\nwouldn't be cleared, resulting in stale results being used.","distinct":true,"url":"https://api.github.com/repos/seL4/camkes-tool/commits/ecaf6943adc8f00cb11a43f4038bc065265ca86a"}]}
{"actor":{"display_login":"ssrg-bamboo"}}