ci: migrate from Jenkins to GitHub Actions#537

dennisklein merged 1 commit intoFairRootGroup:devFairRootGroup/FairMQ:devfrom

dennisklein:cidennisklein/FairMQ:ciCopy head branch name to clipboard