Don't create .timestamp files unless building in Jenkins
Originally created by @anonym on #8699 (Redmine)
Feature Branch: bugfix/8699-only-create-timestamps-in-Jenkins
Originally created by @anonym on #8699 (Redmine)
Feature Branch: bugfix/8699-only-create-timestamps-in-Jenkins