Fix #625: Regex pattern for color removal
Merge pull request #626 from gzm0/fix-color-regex

Fix #625: Regex pattern for color removal
Fix #612: Move CI to Jenkins.
Merge pull request #619 from gzm0/fix-ci

Fix #612: Move CI to Jenkins.
Fix partest commands in CI
Merge pull request #627 from gzm0/fix-nightly-partest

Fix partest commands in CI
wip