{"push_id":2407481379,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"38aff3e1739b2f92163be39da5539255644d5494","before":"e1592da0089ccf911487408869f18cca2937a7bc","commits":[{"sha":"47832241a88fc760cd8d063dcbce435768359f1c","author":{"name":"Chris Hathhorn","email":"c569c40a44912897ddea905eebe353193a3cfa3e@gmail.com"},"message":"Remove memset def in limited libc profile (#788)\n\n* Remove memset definition from limited-libc profile.\r\n\r\n* Only print message about config if it exists.\r\n\r\n* Ignore inline asm when no native impl.\r\n\r\n* Fix.","distinct":true,"url":"https://api.github.com/repos/kframework/c-semantics/commits/47832241a88fc760cd8d063dcbce435768359f1c"},{"sha":"38aff3e1739b2f92163be39da5539255644d5494","author":{"name":"Chris Hathhorn","email":"c569c40a44912897ddea905eebe353193a3cfa3e@gmail.com"},"message":"Warn about all native ptr deref when lint enabled. (#791)","distinct":true,"url":"https://api.github.com/repos/kframework/c-semantics/commits/38aff3e1739b2f92163be39da5539255644d5494"}]}
{"actor":{"display_login":"rv-jenkins"}}