Port GitLab CI pipeline to GitHub Actions (#22) · Issues · Justin Andresen / haskell-to-coq-compiler