Attempt to make CI faster.

- Don't run an expensive functionality test in debug builds.
- Don't run the different cache configurations (they're probably going
  away soon because they help only in synthetic benchmarks).
This commit is contained in:
David Chisnall
2019-02-25 13:48:08 +00:00
committed by David Chisnall
parent 7f576c74d6
commit ef50a0282b
3 changed files with 24 additions and 26 deletions