{"push_id":1942363645,"size":1,"distinct_size":1,"ref":"refs/heads/fix-dir-not-found-error-reporting","head":"4b1bd3070397198681cd3036b270c7f05ae10654","before":"e125ef220103259fe2d705a7eabc4e8931b02360","commits":[{"sha":"4b1bd3070397198681cd3036b270c7f05ae10654","author":{"name":"Manasvi Saxena","email":"ccdc167acf7f58b9ffcf950cfdf5d58290262cfb@illinois.edu"},"message":"DefinitionParserTest.java: Change location of non-reachable fail.\n\nHaving fail (for parser not catching non-existant requires) after try-catch made it run every time. Moved it in the\ntry after exception throw to only run if the right exception is not\nthrown.","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/4b1bd3070397198681cd3036b270c7f05ae10654"}]}
{"actor":{"display_login":"msaxena2"}}