text: Title: question about travis CI tests
  Body: it seems like the same tests (for the same code) are run multiple times.  are different things being tested for, or is this a potential inefficiency that could be corrected?