summary refs log tree commit diff
path: root/jenkins-flake8.sh (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Remove Jenkins & other old dev junk (#3988)Amber Brown2018-10-031-22/+0
|
* jenkins-*.sh: set -xRichard van der Hoff2016-03-031-1/+3
| | | | | Also move the options from the shebang line to the body of the script, so that they take effect even if somebody explicitly runs "bash jenkins.sh"
* Split up jenkins testsErik Johnston2016-03-031-0/+20