Comment by _kblcuk_

Jenkins was (and still is) a PITA to maintain. Moved two different companies off from it to gh actions (self-managed runners in case of a second company), never had any regrets.