{"push_id":604653987,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"c66df512ade939caf30d0410fd8af35f55f97c9f","before":"e6d1cfdf9b682d975123a4981c41e2029d147b1f","commits":[{"sha":"b4938580b25be56b22246d51acb5f53aeb2c3257","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Add -f execonly to omit library/rts builds\n\nThis reduces the compile/test cycle time in development when there's no\neffect on the libraries.","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/b4938580b25be56b22246d51acb5f53aeb2c3257"},{"sha":"5ce73622ae3eb6a6fbef9da3714ad52cec4719ca","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Type class resolution fix\n\nType class resolution should not proceed if there are metavariables in a\ngoal at any stage, because (with the exception of 'Num') type class\nresolution should never be resolving metavariables.\n\nFixes #1986","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/5ce73622ae3eb6a6fbef9da3714ad52cec4719ca"},{"sha":"be9ffc92c032feed9a296b0887c60611710b130e","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Proper error message for missing eliminators\n\nFixes #1888","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/be9ffc92c032feed9a296b0887c60611710b130e"},{"sha":"c66df512ade939caf30d0410fd8af35f55f97c9f","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Propagate unification solutions into types on 'P'\n\nThis is the source of mysterious 'No such variable' errors.\nFixes #1877","distinct":true,"url":"https://api.github.com/repos/jfdm/Idris-dev/commits/c66df512ade939caf30d0410fd8af35f55f97c9f"}]}