{"push_id":721380597,"size":1,"distinct_size":1,"ref":"refs/heads/consList","head":"ab5189ad08212efb39e5629e4af61c8584074a2f","before":"9c580ae6777fe7c1cf8683a18e095462369d9383","commits":[{"sha":"ab5189ad08212efb39e5629e4af61c8584074a2f","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix VariableTypeInferenceFilter for non-strict","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/ab5189ad08212efb39e5629e4af61c8584074a2f"}]}