{"ref":"refs/heads/master","push_id":55176142,"commits":[{"sha":"9903beaa1af60150a212cc166641604b1d041b94","author":{"email":"82296eb15e8045a1d569dd3417ad2c54f4c3eb07@gmail.com","name":"Fabian"},"url":"https://api.github.com/repos/team-worthwhile/worthwhile/commits/9903beaa1af60150a212cc166641604b1d041b94","message":"[impl:prover] Remove visit(:Parameter) from WPStrategy\n\n- Parameter was removed from model.ast in b063df90e79c8d767da97f1b4f6dae0ddcc4270e"}],"head":"9903beaa1af60150a212cc166641604b1d041b94","size":1}