Remove Jenkinsfile in favour of the new Github actions workflows.
Remove Jenkinsfile in favour of the new Github actions workflows.