Jenkins version bump [100.1.3]