9 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
7054805941
rename whitelist to exceptions in the linter tool (#2004) 2018-12-18 15:39:57 -02:00
Leo Balter
d534df2b12 Use travis ci to run new or modified test files on engines 2018-11-07 10:03:00 -05:00
Mathias Bynens
e654d7b2ae Quote variables in ci_build.sh (#1858)
This makes it possible to run the script locally even if `TRAVIS_PULL_REQUEST` is not set.

Currently, it results in an error:

tools/scripts/ci_build.sh: line 2: [: !=: unary operator expected
2018-10-15 11:02:51 -04:00
Leo Balter
ccaf340d85 silence the make.py clean command on Travis (#1194) 2017-08-23 13:45:33 -04:00
jugglinmike
74954bfa91 Introduce automated validation for test format (#994)
This script is intended to identify common test file formatting errors
prior to their acceptance into the project. It is designed to support
future extensions for additional validation rules.
2017-05-01 12:04:05 -04:00
Leo Balter
6ab3b0901b Update deploy keys
* Update github-deploy-key

* Update deploy.sh
2017-04-24 15:11:02 -04:00
Leo Balter
d2ee888bf0 Improve readability for ci scripts (#966) 2017-04-11 14:00:07 -04:00