chore: change 'Jenkins CI' to 'Jenkins'#1796

hamzaremmal merged 1 commit intoscala:mainscala/scala-lang:mainfrom

hamzaremmal:fix-wordinghamzaremmal/scala-lang:fix-wordingCopy head branch name to clipboard