Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make CI faster especially on PR builds #287

Merged
merged 1 commit into from
May 20, 2019
Merged

Commits on May 20, 2019

  1. review .travis.yml

    - Made PR builds operating slightly differently than the "standard build".
      The idea is to only do what we really need to do for PRs and keep the
      more expensive operations on merges or cron jobs.
    
    - Prune a bit some of the `.stack` internals in order to reduce the size
      of the cached directory. This should speed up a bit the cache
      downloads and uploads of each job.
    
    - Remove the 'rust' language to avoid having to setup rust on each job.
      In the end, we only need rust in order to install rust binaries, after
      what, we only need the statically linked binaries.
    
    - Split the compilation step into three jobs stages:
      - rust stuff
      - stackage snapshot
      - haskell project (only source and bench, tests are compiled in their
        corresponding test jobs)
    KtorZ committed May 20, 2019
    Configuration menu
    Copy the full SHA
    833f9b7 View commit details
    Browse the repository at this point in the history