CI: migrate from Jenkins to GitHub Actions#630

tuhaihe wants to merge 1 commit intoapache:madlib2-masterapache/madlib:madlib2-masterfrom

tuhaihe:github-actionstuhaihe/madlib:github-actionsCopy head branch name to clipboard