1. 02 Aug, 2017 2 commits
  2. 24 Jul, 2016 3 commits
  3. 03 Jun, 2016 1 commit
  4. 16 May, 2016 1 commit
  5. 26 Apr, 2016 1 commit
  6. 23 Jan, 2016 1 commit
  7. 05 Jan, 2016 2 commits
    • Moritz Angermann's avatar
      2c635d55
    • quchen's avatar
      Rework Travis CI script · d0ffc1f8
      quchen authored
      - Move all .travis/*.sh functionality directly into .travis.yml
      - Install Alex/Happy from PPA instead of compiling them by hand
      - Skip Shake progress indicators, as they're rather useless
        on clean-slate Travis builds, and clutter up the log
      - Don't use a Cabal sandbox for building so Travis can share
        $HOME/.cabal
      - boot/configure only after the Shake build system is in place,
        otherwise some required *.in files are not converted, and
        Shake fails
      d0ffc1f8
  8. 24 Dec, 2015 1 commit