Build #303 (Apr 26, 2023 7:32:08 PM)

1. Add Jenkinsfile (details / githubweb)
2. Move the 1.12.2 bookmark location out of the config folder (#3115) (details / githubweb)
3. Add a 1.12.2 config for the position of new bookmarks (#3114) (details / githubweb)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 1.5 sec build duration;
• 6.9 sec total from scheduled to completion.

• origin/1.12