1. 16 Jan, 2019 1 commit
  2. 22 Nov, 2017 1 commit
  3. 06 Nov, 2017 1 commit
  4. 11 Oct, 2017 1 commit
  5. 16 May, 2016 1 commit
  6. 26 Apr, 2016 1 commit
  7. 23 Jan, 2016 1 commit
  8. 22 Jan, 2016 1 commit
  9. 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
  10. 24 Dec, 2015 1 commit