[GHC] #13716: Move CI to Jenkins