ci: migrate pipeline from Jenkins to GitHub Actions#11

jeanpierrefortune merged 7 commits intomaineclipse-keyple/keyple-common-java-api:mainfrom

jenkins-to-github-actionseclipse-keyple/keyple-common-java-api:jenkins-to-github-actionsCopy head branch name to clipboard