{"push_id":1296395044,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"c95c4e3f86228069961cb0092f39e7b0991262bb","before":"3df49751fdd6ce7a261dd27be98221c70aa15de8","commits":[{"sha":"32967ab744330a16f00a73798ee27e3042e14f23","author":{"name":"RHeijblom","email":"030bff94b94a1aa424d5176289f7fe13e4bf4581@users.noreply.github.com"},"message":"Fixes bug in ltsmin2csv.sh w.r.t. extracting peaknodes.\n\n-Script is verified using the pnml files in ./LTSmin_output altering resultPNML.csv.\n-Uncomment parts of ltsmin2csv_batch.sh in order to be run again.","distinct":true,"url":"https://api.github.com/repos/RHeijblom/masterproject_benchmark/commits/32967ab744330a16f00a73798ee27e3042e14f23"},{"sha":"c95c4e3f86228069961cb0092f39e7b0991262bb","author":{"name":"RHeijblom","email":"030bff94b94a1aa424d5176289f7fe13e4bf4581@users.noreply.github.com"},"message":"Rerun of ltsmin2csv.sh (see log for discovered failures)","distinct":true,"url":"https://api.github.com/repos/RHeijblom/masterproject_benchmark/commits/c95c4e3f86228069961cb0092f39e7b0991262bb"}]}
{"actor":{"display_login":"RHeijblom"}}