{"push_id":541358081,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d6d6c7e5506136f7553e9d573bc157eed1c2cc70","before":"e191edfc9ce7be0744cb62dd545f21d29f324450","commits":[{"sha":"d6d6c7e5506136f7553e9d573bc157eed1c2cc70","author":{"email":"24a0ca276f0c51fe4cb6460bbd35f8842354fb44@gmail.com","name":"Ralf Vogler"},"message":"termination analysis start\nCIL instrumentation ok, but AST not (WIP)","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/d6d6c7e5506136f7553e9d573bc157eed1c2cc70"}]}