{"push_id":633592019,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cb2beb8a36bfd57c843b8d064348dbf763cc22c6","before":"6a08b53f422c63c3c72d288f636d8882b2dbbf43","commits":[{"sha":"cb2beb8a36bfd57c843b8d064348dbf763cc22c6","author":{"email":"c2dc8378e08c46142f6cc52d6ef0c1648d7b615f@upb.de","name":"oleg82upb"},"message":"- generated models and raw promela code for work stealing queue","distinct":true,"url":"https://api.github.com/repos/oleg82upb/lina4wm-examples/commits/cb2beb8a36bfd57c843b8d064348dbf763cc22c6"}]}