3 Commits

Author	SHA1	Message	Date
Leo Balter	3d4909b0fd	Use .. for git diffs in the CI routines (#2140) ... the double dot gets only commits not in the left side of the double dot. The right side assumes HEAD. This will allow us to fetch the correct list of new or modified files in the current branch.	2019-04-25 17:56:55 -04:00
Leo Balter	ebbe13e2b5	Add CircleCI (#2106) ... Transfer Travis jobs to CircleCI	2019-03-20 21:04:41 -04:00
Leo Balter	d534df2b12	Use travis ci to run new or modified test files on engines	2018-11-07 10:03:00 -05:00