ocsigen/tyxml — pull request #38 by hnrgrgr (2014-05-24 02:03:29+00:00)
Title: Jenkins now builds PR

It basically executes the .jenkins.sh in a fresh opam root.