01/23/2025: Corporate Technology has resolved some of the known problems with Jenkins jobs but is still aware of and looking into at least one remaining issue.