Jenkinsfile runner actions: Run Jenkins pipelines in GitHub Actions
jenkinsci.github.io