forked from public/pysim
* contrib/jenkins.sh: speed up pylint by running multiple processes * contrib/jenkins.sh: pylint v2.15 is unstable, pin v2.14.5
* contrib/jenkins.sh: speed up pylint by running multiple processes * contrib/jenkins.sh: pylint v2.15 is unstable, pin v2.14.5