Hello, while you’ve hopefully been able to migrate to CircleCI using our documentation at the time, I’d like to follow up on this to share that we’ve recently completed the preview release of a Jenkinsfile converter that may help any users who find themselves in the situation that you were in.
Please check out the announcement for instructions, and let us know if you have any questions or feedback!