1. 21 Dec, 2018 2 commits
  2. 19 Dec, 2018 4 commits
  3. 18 Dec, 2018 6 commits
  4. 17 Dec, 2018 5 commits
  5. 15 Dec, 2018 1 commit
  6. 14 Dec, 2018 5 commits
  7. 13 Dec, 2018 3 commits
  8. 11 Dec, 2018 1 commit
  9. 02 Dec, 2018 1 commit
    • Alp Mestanogullari's avatar
      update (CicleCI) CI script to work with ghc-ci · 93a3f907
      Alp Mestanogullari authored
      ghc-ci is a tiny webservice that acts as an intermediate between our
      CircleCI jobs on Gitlab and the actual builds running on CircleCI, so that
      the build script doesn't need to rely on any secret, which makes the whole
      setup fork-friendly.
      
      The concrete effect of this patch is to allow any fork of GHC on Gitlab to
      run CircleCI jobs.
      93a3f907
  10. 01 Dec, 2018 3 commits