aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/ci/ci.sh
Commit message (Expand)AuthorAge
* Minor Bash improvementsGravatar Androbin2017-06-27
* scripts/ci/ci.sh: Prefer COMMIT_RANGE from the environment, if defined.Gravatar Ivan Vucica2016-07-12
* scripts/ci/ci.sh: Fix typo in comment 'origina/master' -> 'origin/master'.Gravatar Ivan Vucica2016-07-12
* Rationalize copyright headersGravatar Damien Martin-Guillerez2015-09-25
* Tweak CI script to not run tests tagged as manual.Gravatar Erik Kuefler2015-08-17
* Add --noshow_progress when performing queries in the CI script.Gravatar Erik Kuefler2015-07-27
* Update CI script to build against a common ancestor of origin/master and HEADGravatar Thomas Broyer2015-06-29
* Create an example script for CI servers.Gravatar Andrew Z Allen2015-06-26