This project is mirrored from Pull mirroring updated .
  1. 21 Feb, 2017 2 commits
    • kristenk's avatar
      Make solver debug flags manual. · 34ca65a9
      kristenk authored and Mikhail Glushenkov's avatar Mikhail Glushenkov committed
    • Edward Z. Yang's avatar
      A few bug fixes to our CI setup. · d635c1f3
      Edward Z. Yang authored and Edward Z. Yang's avatar Edward Z. Yang committed
      - Setup the ssh key for cabal-website deploy right before we use
        it, so it doesn't get clobbered by our pushbot deploy script.
        Furthermore, umask the key to 600, so that we can override it.
      - Add some more helpful information to the Pushbot commit messages,
        including what branch/PR the build was for, and a link to the
        relevant GitHub page.
      - Have Travis spoof the author and email of the original committer,
        so that Travis sends the build notification message to the right place.
      Signed-off-by: default avatarEdward Z. Yang <>
  2. 20 Feb, 2017 8 commits
  3. 19 Feb, 2017 30 commits