{"push_id":3092718529,"size":5,"distinct_size":1,"ref":"refs/heads/build+winclean","head":"43a749273355a673d454a1d5117e84d44ccd1b50","before":"8c865547b9ddae513b9609fab73bbfda11c4b731","commits":[{"sha":"9c73e11bdcea5880501572c31d3ee66abf95299d","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"[ssreflect] Export more parsing witnesses.\n\nThis is needed in order to serialize ssreflect programs properly,\nsimilar to #6795.","distinct":false,"url":"https://api.github.com/repos/ejgallego/coq/commits/9c73e11bdcea5880501572c31d3ee66abf95299d"},{"sha":"e6c98655e3c98ea6b9fed5e906edf860da097707","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"[ci] [appveyor] Move Appveyor to OPAM 2.\n\nWe update the Appveyor configuration so it uses OPAM 2.0, and thus it\ncan install newer packages.","distinct":false,"url":"https://api.github.com/repos/ejgallego/coq/commits/e6c98655e3c98ea6b9fed5e906edf860da097707"},{"sha":"1ca73b4ba5e16af3baed6c804d0d0eeaac9eccd5","author":{"name":"Enrico Tassi","email":"4f6d07e2b142da7a8716d1cd541ae44f0d273335@inria.fr"},"message":"Merge PR #9070: [ssreflect] Export more parsing witnesses.","distinct":false,"url":"https://api.github.com/repos/ejgallego/coq/commits/1ca73b4ba5e16af3baed6c804d0d0eeaac9eccd5"},{"sha":"4b12cd00e1d32961a4dc04e2c2dcbfe6ed0002fa","author":{"name":"Maxime Dénès","email":"729aee223f7fb2b958d2bed8a43ef191a9e9072b@fondation-inria.fr"},"message":"Merge PR #9054: [ci] [appveyor] Move Appveyor to OPAM 2.","distinct":false,"url":"https://api.github.com/repos/ejgallego/coq/commits/4b12cd00e1d32961a4dc04e2c2dcbfe6ed0002fa"},{"sha":"43a749273355a673d454a1d5117e84d44ccd1b50","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"[windows] Cleanup cruft from `dev/build/windows`\n\nThe amount of cruft we are carrying there is high enough as to even\ndifficult navigation.\n\nMore cleanup should be performed, but this is a first step.","distinct":true,"url":"https://api.github.com/repos/ejgallego/coq/commits/43a749273355a673d454a1d5117e84d44ccd1b50"}]}
{"actor":{"display_login":"ejgallego"}}