execute instructions in ./.github/prompts/make-coverage-in-jenkins.md