Add GitHub Actions CI (hardened, supersedes #6)#9

jiriknesl merged 3 commits into

masterFlexiana/infix:masterfrom

ci/github-actions-v2Flexiana/infix:ci/github-actions-v2Copy head branch name to clipboard