use GitHub Actions instead of Travis to run linters#140

marten-seemann wants to merge 1 commit intomasterquic-interop/quic-interop-runner:masterfrom

github-actions-lintquic-interop/quic-interop-runner:github-actions-lintCopy head branch name to clipboard