{"push_id":830587803,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"01bafb43ad4e7fa242732977c3d01e4db266851e","before":"89220fd12258f188fbc4933aff379d5a16a0b757","commits":[{"sha":"01bafb43ad4e7fa242732977c3d01e4db266851e","author":{"email":"decbfda24188860f0f48fd345091722c445d7df4@monash.edu","name":"Guido Tack"},"message":"Better handling of running processes (only disable the Run and Compile actions, but leave everything else enabled)","distinct":true,"url":"https://api.github.com/repos/MiniZinc/MiniZincIDE/commits/01bafb43ad4e7fa242732977c3d01e4db266851e"}]}