Author: jng Date: 2024-08-19 01:49:19 -0700 (Mon, 19 Aug 2024) New Revision: 10097 Removed: trunk/Tools/JenkinsCI/ Log: Remove Jenkins CI pipelines. We don't use Jenkins for making releases anymore. Fixes #2822